Building Meaningful Timed Plant Models for Verification Purposes

Publié le 3 juin 2009 - 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009)