Zelus

swMATH20166MaRDI QIDQ31988FDOQ31988

scientific article; zbMATH DE number Author name (Why is no real title available?)

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

Described by source

• Zélus: a synchronous language with ODEs

(17)

• A denotational semantics of simulink with higher-order UTP
• A type-based analysis of causality loops in hybrid systems modelers
• A type-based analysis of causality loops in hybrid systems modelers
• Cayuga
• StreamIt
• SIGNAL
• StateFlow
• Cheddar
• iFEST
• Ptolemy
• Quartz
• Charon
• SL2SX
• Fran
• Flapjax
• Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
• Semantic Foundations for Deterministic Dataflow and Stream Processing

This page was built for software: Zelus