Detail publikace

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.
Název česky
Modelem řízený návrh a verifikace reaktivních systémů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Hýsek Jiří, Ing.
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Klíčová slova

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

Rok
2009
Strany
295–296
Sborník
Computer Aided Systems Theory
Konference
Twelve International Conference On Computer Aided Systems Theory, eurocast 2009, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-691-8502-5
Místo
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"
}
Nahoru