Cited in
(17)- A type-based analysis of causality loops in hybrid systems modelers
- StreamIt
- SIGNAL
- StateFlow
- Cheddar
- iFEST
- Ptolemy
- Quartz
- Charon
- SL2SX
- Fran
- Flapjax
- 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
- Cayuga
- A denotational semantics of simulink with higher-order UTP
This page was built for software: Zelus
