Published

Automatique

Formal models for conformance test of programmable logic controllers

Published on - Journal Européen des Systèmes Automatisés (JESA)

Authors: Anaïs Guignard, Jean-Marc Faure

See the publication on HAL DOI