McAiT

swMATH9947MaRDI QIDQ21926FDOQ21926

Author name not available (Why is that?)

Official website: http://www.neu-rtes.org/mcait/

Cited In (5)

• A survey of timed automata for the development of real-time systems
• DREAM Tool
• CoVer
• Tempo
• OTAWA

This page was built for software: McAiT