Published

Robotique

Building Meaningful Timed Plant Models for Verification Purposes

Published on - 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009)

Authors: Matthieu Perin, Jean-Marc Faure

See the publication on HAL