Zelus

MaRDI QIDQ31988swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=2461348

Described by source

• Zélus: a synchronous language with ODEs

Cited in

(17)

• StreamIt
• SIGNAL
• StateFlow
• Cheddar
• iFEST
• Ptolemy
• 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
• Quartz
• Charon
• SL2SX
• Fran
• Flapjax
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• A type-based analysis of causality loops in hybrid systems modelers
• A type-based analysis of causality loops in hybrid systems modelers
• Cayuga

This page was built for software: Zelus