2013 Team Activity Report
Hycomes
Hybrid Modeling and Contract-Based Design for Multiphysics Embedded Systems
Research centre:
Rennes - Bretagne-Atlantique
Keywords: Hybrid Systems, Embedded Systems Design, Physical Modeling, Contract-based Design, Requirements Engineering