-
Mastering Safety and Reliability in a Model Based Process
International audience -
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols
Despite excellent results on pilot projects, formal validation based on standard Formal Description Techniques (FDTs) never really catch up in the industry. We claim... -
Dynamic modeling of an integrated air-to-air heat pump using Modelica
International audience -
Architectural concepts and Design Patterns for behavior modeling and integration
International audience
