McAiT

MaRDI QIDQ21926swMATHFDO

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