Automatique

A formal semantics for Grafcet specifications

Published on - 7th IEEE Conference on Automation Science and Engineering (IEEE CASE 2011)

Authors: Julien Provost, Jean-Marc Roussel, Jean-Marc Faure