Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Abderraouf Boussif' in GoogleThis author has not been identified. Look up 'Mohamed Ghazel' in GoogleThis author has not been identified. Look up 'Kais Klai' in Google

runs on WebDSL