Robotique

Validation and verification of grafcets using state machine

Publié le 30 juin 1996 - IMACS-IEEE "CESA'96"

Auteurs : Jean-Marc Roussel, Jean-Jacques Lesage