Published Robotique Validation and verification of grafcets using state machine Published on 30 June 1996 - IMACS-IEEE "CESA'96" Authors: Jean-Marc Roussel, Jean-Jacques Lesage See the publication on HAL Prev. Back to the list Next