Zelus

swMATH20166MaRDI QIDQ31988FDOQ31988

Author name not available (Why is that?)

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

Described by source

• Zélus: a synchronous language with ODEs

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