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á:
Pavel Strachota | naposledy změněno: 9.9.2021