Timed Automata

MaRDI QIDQ40282swMATHFDO

Authors Simon Wimmer

Publication date 8 March 2016

Official website https://www.isa-afp.org/entries/Timed_Automata.html

Cites work

• A theory of timed automata
• Forward analysis of updatable timed automata
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Kronos: A verification tool for real-time systems
• Lectures on Concurrency and Petri Nets
• Uppaal in a nutshell

Cited in

(1)

• Formalized timed automata

This page was built for software: Timed Automata