Formal Modeling and Analysis of Timed Systems

DOI10.1007/11603009zbMath1175.68240OpenAlexW2493457341MaRDI QIDQ5897968

Stavros Tripakis, Karine Altisen

Publication date: 14 November 2006

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (6)

Shrinking timed automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Models and formal verification of multiprocessor system-on-chips ⋮ Robust Analysis of Timed Automata Via Channel Machines ⋮ Timed Automata Can Always Be Made Implementable ⋮ Robust safety of timed automata

Uses Software

• Uppaal
• Giotto

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