Robotique

Validation and verification of grafcets using state machine

Published on - IMACS-IEEE "CESA'96"

Authors: Jean-Marc Roussel, Jean-Jacques Lesage