Compositional System Modeling with Interfaces - COSMOI

Submitted by tripakis on
  • Compositionality
  • contracts
  • cyber-physical systems
  • Functional Mockup Interface
  • Interfaces
  • model-based design
  • University of California at Berkeley
  • Foundations
  • Modeling
  • Multi-models
  • Simulation
  • Validation and Verification
  • 2014
  • National CPS PI Meeting 2014
  • Academia