Formal Modeling and Analysis of Timed Systems

DOI10.1007/b12025zbMath1099.94523OpenAlexW2610516344MaRDI QIDQ5717495

Marius Bozga, Oded Maler, Ramzi Ben Salah

Publication date: 10 January 2006

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

Full work available at URL: https://doi.org/10.1007/b12025

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

The Boolean Determinant Calculus ⋮ The Unmet Challenge of Timed Systems ⋮ A menagerie of timed automata ⋮ Timed verification of the generic architecture of a memory circuit using parametric timed automata

Uses Software

• Kronos
• IF-2.0
• CADP

This page was built for publication: Formal Modeling and Analysis of Timed Systems