Automatique

A Conformance Relation for Model-Based Testing of PLC

Published on - 12th International Workshop on Discrete Event Systems-WODES 2014

Authors: Anaïs Guignard, Jean-Marc Faure