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
- What is in a step: new perspectives on a classical question
- A survey on temporal logics for specifying and verifying real-time systems
- Constructive semantics for instantaneous reactions
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
This page was built for software: Modechart
