Zelus
From MaRDI portal
Software:31988
swMATH20166MaRDI QIDQ31988FDOQ31988
Author name not available (Why is that?)
Cited In (5)
- A type-based analysis of causality loops in hybrid systems modelers
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- A type-based analysis of causality loops in hybrid systems modelers
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
- A denotational semantics of simulink with higher-order UTP
This page was built for software: Zelus
