%0 Book Section %T Model Management for Formal Validation %+ Ecole Nationale Supérieure des Ingénieurs des Etudes et Techniques d'Armement (Ensieta) %+ Développement des Technologies Nouvelles (DTN) %A Champeau, Joël %A Dhaussy, Philippe %A Mekerke, François %A Roger, Jean-Charles %B Summer School MDD4DRES %I Hermes %P 149-174 %8 2006-09 %D 2006 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Book sections %G English %L hal-00517288 %U https://hal.science/hal-00517288 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN