Automatique

Building Meaningful Timed Models of Closed-loop DES for Verification Purposes

Publié le 31 décembre 2012 - Control Engineering Practice

Auteurs : Matthieu Perin, Jean-Marc Faure