A methodology to design and check a plant model

Publié le 31 mai 2006 - 3rd IFAC Workshop on Discrete-Event System Design (DESDes'06)

Auteurs : Benoit Rohée, Bernard Riera, Véronique Carré-Ménétrier, Jean-Marc Roussel