Model Checking on Fault Diagnosis Graph

TitleModel Checking on Fault Diagnosis Graph
Publication TypeConference Paper
Year of Publication2014
AuthorsWang, X, Mahulea C, Silva M
Conference NameWODES'2014: 12th IFAC International Workshop on Discrete Event Systems
Date Published05/2014
Conference LocationCachan, France
URLhttp://dx.doi.org/10.3182/20140514-3-FR-4046.00053
DOIhttp://dx.doi.org/10.3182/20140514-3-FR-4046.00053
Export