The following pages link to Zélus (Q2986915):
Displaying 6 items.
- Zelus (Q31988) (← links)
- On the semantics of polychronous polytimed specifications (Q1996008) (← links)
- 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 (Q5915766) (← links)
