A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, p.1833235, 1994. ,
Introduction to Automata Theory, Languages and Computability, 2000. ,
Symbolic Test Selection Based on Approximate Analysis, 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), 2005. ,
DOI : 10.1007/978-3-540-31980-1_23
URL : https://hal.archives-ouvertes.fr/inria-00564617
A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, p.46131881321, 2001. ,
Simpliication by cooperating decision procedures, ACM Trans. Program. Lang. Syst, vol.1, issue.2, p.2455257, 1979. ,
Automatic veriication and conformance testing for validating safety properties of reactive systems, Formal Methods 2005 (FM05), 2005. ,
Failure diagnosis using discrete event models, Proceedings of the IEEE Transactions on Automatic Control, p.1055124, 1996. ,
DOI : 10.1109/cdc.1994.411307
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.852
Test generation with inputs, outputs and repetitive quiescence. Software -Concepts and Tools, p.1033120, 1996. ,
MMthodes symboliques pour la gnnration de tests de systtmes ractifs comportant des donnnes, 2004. ,