Biblio

Export 4 results:
Author Title [ Type(Asc)] Year
Filters: Author is Farid Nouioua  [Clear All Filters]
Journal Article
F. Nouioua and Dague, P., “Diagnosticabilité des systèmes à événements discrets”, Rapport de recherche LRI, vol. 1517, 2009.
A. Madalinski, Nouioua, F., and Dague, P., “Diagnosability verification with Petri net unfoldings”, Rapport de recherche LRI, vol. 1516, 2009.
Conference Paper
F. Nouioua and Dague, P., “A Probabilistic Analysis of Diagnosability in Discrete Event Systems”, in Proc. of European Conference on Artificial Intelligence (ECAI), 2008, pp. 224-228.
G. Bourgne, Dague, P., Nouioua, F., and Rapin, N., “Diagnosability of Input Output Symbolic Transition Systems”, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), 2009.