Fault Manifestability Verification for Discrete Event Systems

Submitted by lahdakadmin on Mon, 03/20/2017 - 18:07
TitleFault Manifestability Verification for Discrete Event Systems
Publication TypeConference Paper
Year of Publication2016
AuthorsYe, L, Dague, P, Longuet, D, Briones, LBrandán, Madalinski, A
Conference Name{22nd European Conference on Artificial Intelligence ECAI-16}
Date PublishedAug
Conference LocationLa Haye, Netherlands
URLhttps://hal.archives-ouvertes.fr/hal-01483424