On Clock-Aware LTL Properties of Timed Automata

Základní údaje

Originální název On Clock-Aware LTL Properties of Timed Automata
Autoři

Další údaje

Citace BEZDĚK, Peter, Nikola BENEŠ, Vojtěch HAVEL, Jiří BARNAT a Ivana ČERNÁ. On Clock-Aware LTL Properties of Timed Automata. In Gabriel Ciobanu, Dominique Méry. Theoretical Aspects of Computing – ICTAC 2014. Neuveden: Springer International Publishing, 2014. s. 43-60, 18 s. ISBN 978-3-319-10881-0. doi:10.1007/978-3-319-10882-7_4.
Originální jazyk angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova Linear Temporal Logic; Timed Automata; Automata-based Model Checking

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

Další info