Verifikace složitých systémů
| advisor: | Stefan Ratschan |
| e-mail: | show e-mail |
| type: | bachelor thesis, master thesis |
| branch of study: | MI_MM, MI_AMSM, II_SIMI |
| key words: | složité systémy, verifikace, věstavěné systémy, debugging |
| link: | http://www.cs.cas.cz/~ratschan/theses/cz/verification.html |
| last update: | 20.11.2017 21:45:28 |
administrator for this page:
Ľubomíra Dvořáková | last update: 09/12/2011