Metropolis
From MaRDI portal
Software:28135
No author found.
Related Items (7)
Modeling for Verification ⋮ Taming Dr. Frankenstein: contract-based design for cyber-physical systems ⋮ A Two-Way Path Between Formal and Informal Design of Embedded Systems ⋮ Causal Semantics for the Algebra of Connectors ⋮ Verification approach of Metropolis design framework for embedded systems ⋮ Causal semantics for the algebra of connectors ⋮ A general framework for architecture composability
This page was built for software: Metropolis
