Automatique

A formal semantics for Grafcet specifications

Publié le 25 août 2011 - 7th IEEE Conference on Automation Science and Engineering (IEEE CASE 2011)

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