swMATH20166MaRDI QIDQ31988FDOQ31988
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2461348
Cited In (15)
- Cayuga
- A type-based analysis of causality loops in hybrid systems modelers
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- StateFlow
- Cheddar
- iFEST
- Ptolemy
- A type-based analysis of causality loops in hybrid systems modelers
- Quartz
- Charon
- SL2SX
- Fran
- Flapjax
- 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
