Biblio

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Nicolas Rapin  [Clear All Filters]
Conference Paper
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.