Dynamical Properties of Timed Automata Revisited
From MaRDI portal
Publication:3510840
DOI10.1007/978-3-540-75454-1_11zbMath1142.68040MaRDI QIDQ3510840
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
68Q45: Formal languages and automata
Related Items
Robust Analysis of Timed Automata Via Channel Machines, A survey of timed automata for the development of real-time systems, Robust safety of timed automata, Shrinking timed automata, Rigorous implementation of real-time systems – from theory to application
Uses Software