Biblio

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Gauvain Bourgne  [Clear All Filters]
2009
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.