DREAM Tool

swMATH5702MaRDI QIDQ17841FDOQ17841

Author name not available (Why is that?)

Official website: http://dre.sourceforge.net/

Cited In (6)

• A survey of timed automata for the development of real-time systems
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• McAiT
• CoVer
• Tempo
• REDLIB

This page was built for software: DREAM Tool