Publication Details

Model-Based Design and Verification of Reactive Systems

HÝSEK, J.; ČEŠKA, M.; JANOUŠEK, V. Model-Based Design and Verification of Reactive Systems. Computer Aided Systems Theory. Las Palmas de Gran Canaria: 2009. p. 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.
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)

Keywords

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

Published

2009

Pages

295–296

Proceedings

Computer Aided Systems Theory

ISBN

978-84-691-8502-5

Place

Las Palmas de Gran Canaria

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