The following pages link to Zelus (Q31988):
Displaying 5 items.
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (Q2072065) (← links)
- A denotational semantics of simulink with higher-order UTP (Q2096416) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5892442) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)