Temporal Verification of Simulink Diagrams

Základní údaje

Originální název Temporal Verification of Simulink Diagrams
Autoři

Další údaje

Citace BARNAT, Jiří, Petr BAUCH a Vojtěch HAVEL. Temporal Verification of Simulink Diagrams. In P. J. Clarke et al.. Proceedings of HASE 2014. Miami: IEEE Computer Society, 2014. s. 81-88, 8 s. ISBN 978-1-4799-3465-2.
Originální jazyk angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova temporal verification; ltl model checking; simulink diagrams

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info