Automatique

Formal models for conformance test of programmable logic controllers

Publié le 31 décembre 2012 - Journal Européen des Systèmes Automatisés (JESA)

Auteurs : Anaïs Guignard, Jean-Marc Faure