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

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

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