Conference paper

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.
Publication language:english
Original title:Model-Based Design and Verification of Reactive Systems
Title (cs):Modelem řízený návrh a verifikace reaktivních systémů
Pages:295-296
Proceedings:Computer Aided Systems Theory
Conference:Twelve International Conference On Computer Aided Systems Theory
Place:Las Palmas de Gran Canaria, ES
Year:2009
ISBN:978-84-691-8502-5
Keywords
model-based design, formal verification, state charts, reactive systems
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8884}
}

Your IPv4 address: 54.221.73.186
Switch to IPv6 connection

DNSSEC [dnssec]