Dynamical Properties of Timed Automata Revisited

DOI10.1007/978-3-540-75454-1_11zbMath1142.68040OpenAlexW1533230613MaRDI QIDQ3510840

Catalin Dima

Publication date: 3 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75454-1_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (5)

Shrinking timed automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Robust Analysis of Timed Automata Via Channel Machines ⋮ Robust safety of timed automata ⋮ Rigorous implementation of real-time systems – from theory to application

Uses Software

• HyTech

This page was built for publication: Dynamical Properties of Timed Automata Revisited