Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Hýsek Jiří, Ing., FIT (FIT), UITS (FIT)
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
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
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"
}
Projekty
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru