Quartz
From MaRDI portal
Software:21870
No author found.
Related Items (8)
Constructive Polychronous Systems ⋮ Unnamed Item ⋮ From synchronous programs to symbolic representations of hybrid systems ⋮ Formal Reasoning About Causality Analysis ⋮ Grounding Synchronous Deterministic Concurrency in Sequential Programming ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ Towards a Modeling Language for Cyber-Physical Systems ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
This page was built for software: Quartz
