Verifikace složitých systémů
školitel: | Stefan Ratschan |
e-mail: | zobrazit e-mail |
typ práce: | bakalářská práce, diplomová práce |
zaměření: | MI_MM, MI_AMSM, II_SIMI |
klíčová slova: | složité systémy, verifikace, věstavěné systémy, debugging |
odkaz: | http://www.cs.cas.cz/~ratschan/theses/cz/verification.html |
naposledy změněno: | 20.11.2017 21:45:28 |
za obsah této stránky zodpovídá:
Ľubomíra Dvořáková | naposledy změněno: 12.9.2011