Modechart
From MaRDI portal
Software:34659
No author found.
Related Items (5)
A temporal logic for real-time partial ordering with named transactions ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Controller synthesis for dynamic hierarchical real-time plants using timed automata ⋮ Constructive semantics for instantaneous reactions ⋮ What Is in a Step: New Perspectives on a Classical Question
This page was built for software: Modechart
