Cited in
(12)- A two-way path between formal and informal design of embedded systems
- Modeling for Verification
- A general framework for architecture composability
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- Mozart
- Reo
- Ptolemy
- MediaBench
- JAHUEL
- Verification approach of Metropolis design framework for embedded systems
- Causal semantics for the algebra of connectors
- Causal Semantics for the Algebra of Connectors
This page was built for software: Metropolis
