Tempo

MaRDI QIDQ23717swMATHFDO

Official website http://www.csl.sri.com/users/sorea/papers/RT-TOOLS/index.html

Cited in

(9)

• A survey of timed automata for the development of real-time systems
• Bounded model checking for timed automata
• Event clock automata: from theory to practice
• DDDLIB
• DREAM Tool
• McAiT
• CoVer
• scientific article; zbMATH DE number 2090292 (Why is no real title available?)
• On regions and zones for event-clock automata

This page was built for software: Tempo