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.03.2012 10:34:21

za obsah této stránky zodpovídá: Ľubomíra Dvořáková | naposledy změněno: 12.9.2011
Trojanova 13, 120 00 Praha 2, tel. 224 358 540, pevná linka 224 923 098, fax 234 358 643
České vysoké učení technické v Praze | Fakulta jaderná a fyzikálně inženýrská | Katedra matematiky