Přístupnostní navigace
E-application
Search Search Close
Publication detail
HÝSEK, J. ČEŠKA, M. JANOUŠEK, V.
Original Title
Model-Based Design and Verification of Reactive Systems
Type
article in a collection out of WoS and Scopus
Language
English
Keywords
model-based design, formal verification, state charts, reactive systems
Authors
HÝSEK, J.; ČEŠKA, M.; JANOUŠEK, V.
Released
15. 2. 2009
Location
Las Palmas de Gran Canaria
ISBN
978-84-691-8502-5
Book
Computer Aided Systems Theory
Pages from
295
Pages to
296
Pages count
2
BibTex
@inproceedings{BUT33421, author="Jiří {Hýsek} and Milan {Češka} and Vladimír {Janoušek}", title="Model-Based Design and Verification of Reactive Systems", booktitle="Computer Aided Systems Theory", year="2009", pages="295--296", address="Las Palmas de Gran Canaria", isbn="978-84-691-8502-5" }