Abderraouf Boussif, Mohamed Ghazel, Kais Klai. Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. In Belgacem Ben Hedia, Florin Popentiu-Vladicescu, editors, Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. Volume 1431 of CEUR Workshop Proceedings, pages 23-34, CEUR-WS.org, 2015. [doi]
Abstract is missing.