Publication Details

Model-Based Design and Verification of Reactive Systems

HÝSEK Jiří, ČEŠKA Milan and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria, 2009, pp. 295-296. ISBN 978-84-691-8502-5.
Czech title
Modelem řízený návrh a verifikace reaktivních systémů
Type
conference paper
Language
english
Authors
Keywords

model-based design, formal verification, state charts, reactive systems

Published
2009
Pages
295-296
Proceedings
Computer Aided Systems Theory
Conference
Twelve International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-691-8502-5
Place
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"
}
Back to top