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., 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