Metropolis
From MaRDI portal
Software:28135
swMATH16265MaRDI QIDQ28135FDOQ28135
Author name not available (Why is that?)
Cited In (7)
- Modeling for Verification
- A general framework for architecture composability
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems
- A Two-Way Path Between Formal and Informal Design of Embedded Systems
- 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
