A Conformance Relation for Model-Based Testing of PLC

Publié le 14 mai 2014 - 12th International Workshop on Discrete Event Systems-WODES 2014