Detail publikačního výsledku

Model-Based Design and Verification of Reactive Systems

HÝSEK, J.; ČEŠKA, M.; JANOUŠEK, V.

Originální název

Model-Based Design and Verification of Reactive Systems

Anglický název

Model-Based Design and Verification of Reactive Systems

Druh

Stať ve sborníku mimo WoS a Scopus

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

HÝSEK, J.; ČEŠKA, M.; JANOUŠEK, V.

Vydáno

15.02.2009

Místo

Las Palmas de Gran Canaria

ISBN

978-84-691-8502-5

Kniha

Computer Aided Systems Theory

Strany od

295

Strany do

296

Strany počet

2

Plný text v Digitální knihovně

http://hdl.handle.net/

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