Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components
Mesli-Kesraoui, S., Toguyeni, A., Bignon, A., Oquendo, F., Kesraoui, D., Berruet, P.Volume:
49
Year:
2016
Language:
english
Journal:
IFAC-PapersOnLine
DOI:
10.1016/j.ifacol.2016.10.603
File:
PDF, 1007 KB
english, 2016