The following pages link to Metropolis (Q28135):
Displayed 7 items.
- A general framework for architecture composability (Q736458) (← links)
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
- Verification approach of Metropolis design framework for embedded systems (Q2506294) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- Modeling for Verification (Q3176361) (← links)
- Causal Semantics for the Algebra of Connectors (Q3602997) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)