The following pages link to Modechart (Q34659):
Displaying 5 items.
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- A temporal logic for real-time partial ordering with named transactions (Q1391307) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)