Bât 650 Ada Lovelace, Université Paris Sud
Rue Noetzlin, 91190 Gif-sur-Yvette, France
Heterogeneous Modeling and Verification of the Behavior of Systems

This research theme of the ModHel team focuses on:

  • Modeling each part or aspect of a system using the most suitable modeling paradigm
  • Modeling the semantic adaptation between heterogeneous parts of a system
  • Verifying the behavior of heterogeneous models