Timed Automata

MaRDI QIDQ7361863FDO

Authors Simon Wimmer

Publication date 8 March 2016

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

(2)

• Probabilistic Timed Automata
• Munta: A Verified Model Checker for Timed Automata

This page was built for software: Timed Automata