Open AccessCombining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems
Author(s) -
Abderraouf Boussif,
Mohamed Ghazel,
Kaïs Klai
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , discrete event simulation , theoretical computer science , event (particle physics) , programming language , algorithm , parallel computing , simulation , quantum mechanics , physics