Published Automatique Building Meaningful Timed Models of Closed-loop DES for Verification Purposes Published on 31 December 2012 - Control Engineering Practice Authors: Matthieu Perin, Jean-Marc Faure See the publication on HAL DOI Prev. Back to the list Next