Model Checking on Fault Diagnosis Graph
Title | Model Checking on Fault Diagnosis Graph |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Wang, X, Mahulea C, Silva M |
Conference Name | WODES'2014: 12th IFAC International Workshop on Discrete Event Systems |
Date Published | 05/2014 |
Conference Location | Cachan, France |
URL | http://dx.doi.org/10.3182/20140514-3-FR-4046.00053 |
DOI | http://dx.doi.org/10.3182/20140514-3-FR-4046.00053 |
Export |