Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking
Boussif, Abderraouf, Ghazel, MohamedVolume:
48
Year:
2015
Language:
english
Journal:
IFAC-PapersOnLine
DOI:
10.1016/j.ifacol.2015.06.475
File:
PDF, 498 KB
english, 2015