Modechart
From MaRDI portal
Software:34659
swMATH22870MaRDI QIDQ34659FDOQ34659
Author name not available (Why is that?)
Cited In (5)
- A temporal logic for real-time partial ordering with named transactions
- A survey on temporal logics for specifying and verifying real-time systems
- What Is in a Step: New Perspectives on a Classical Question
- Constructive semantics for instantaneous reactions
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
This page was built for software: Modechart
