Metropolis

MaRDI QIDQ28135swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1193228

Cited in

(12)

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

This page was built for software: Metropolis