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

Hýsek Jiří, Ing. (DITS FIT BUT)
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)

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"
}