Ing. Stefan Ratschan, Ph.D. (externí spolupracovník)

e-mail: zobrazit e-mail
www: http://www.cs.cas.cz/~ratschan
instituce: ÚI AV ČR
 

témata prací

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

Řešení omezujících podmínek

š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: algoritmy pro matematické výpočty, verifikace, intervalová aritmetika
odkaz: http://www.cs.cas.cz/~ratschan/theses/cz/constraint_solving.html
naposledy změněno: 20.03.2012 10:32:48

za obsah této stránky zodpovídá: Radek Fučík | naposledy změněno: 7.8.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