Tempo

swMATH11778MaRDI QIDQ23717FDOQ23717

Author name not available (Why is that?)

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
• Title not available (Why is that?)
• DDDLIB
• DREAM Tool
• McAiT
• CoVer
• On regions and zones for event-clock automata
• Event clock automata: from theory to practice
• Bounded model checking for timed automata

This page was built for software: Tempo