Timed Automata Approach to Verification of Systems with Degradation

Základní údaje

Originální název Timed Automata Approach to Verification of Systems with Degradation
Autoři

Další údaje

Citace BARNAT, Jiří, Ivana ČERNÁ a Jana TŮMOVÁ. Timed Automata Approach to Verification of Systems with Degradation. In MEMICS 2011. LNCS 7119. Heidelberg: Springer, 2012. s. 84 - 93, 10 s. ISBN 978-3-642-25928-9. doi:10.1007/978-3-642-25929-6_8.
Originální název angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova model checking; linear temporal properties with degradation

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

Další info