swMATH22870MaRDI QIDQ34659FDOQ34659
Author name not available (Why is that?)
Official website: http://ieeexplore.ieee.org/document/368134/
Cited In (9)
- 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
- SugarCubes
- ULM
- DCVALID
- IDLVALID
- Constructive semantics for instantaneous reactions
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
This page was built for software: Modechart
