Metropolis

swMATH16265MaRDI QIDQ28135FDOQ28135

Author name not available (Why is that?)

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

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