Detail publikace
Model-Based Design and Verification of Reactive Systems
HÝSEK Jiří, ČEŠKA Milan a JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria, 2009, s. 295-296. ISBN 978-84-691-8502-5.
Název česky
Modelem řízený návrh a verifikace reaktivních systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Hýsek Jiří, Ing. (UITS FIT VUT)
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Rok
2009
Strany
295-296
Sborník
Computer Aided Systems Theory
Konference
Twelve International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-691-8502-5
Místo
Las Palmas de Gran Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB8884, author = "Ji\v{r}\'{i} H\'{y}sek and Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek", title = "Model-Based Design and Verification of Reactive Systems", pages = "295--296", booktitle = "Computer Aided Systems Theory", year = 2009, location = "Las Palmas de Gran Canaria, ES", ISBN = "978-84-691-8502-5", language = "english", url = "https://www.fit.vut.cz/research/publication/8884" }