![](/img/cover-not-exists.png)
Building meaningful timed models of closed-loop DES for verification purposes
Perin, Matthieu, Faure, Jean-MarcVolume:
21
Language:
english
Journal:
Control Engineering Practice
DOI:
10.1016/j.conengprac.2012.05.002
Date:
November, 2013
File:
PDF, 4.85 MB
english, 2013