Charon
From MaRDI portal
Software:31579
No author found.
Related Items (16)
Java-MaC: A run-time assurance approach for Java programs ⋮ Compositional modeling and refinement for hierarchical hybrid systems ⋮ Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ HYST ⋮ Synthesizing SystemC Code from Delay Hybrid CSP ⋮ Unnamed Item ⋮ From synchronous programs to symbolic representations of hybrid systems ⋮ Zélus ⋮ Monotonic hybrid systems ⋮ Modeling and simulation of cardiac tissue using hybrid I/O automata ⋮ An algebra of hybrid systems ⋮ A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems ⋮ Bio-PEPA with Events ⋮ Hybrid Systems: Computation and Control ⋮ Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
This page was built for software: Charon
