Communication Dans Un Congrès
Année : 2011
Amélie Stainer : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00629177
Soumis le : mercredi 5 octobre 2011-12:01:56
Dernière modification le : jeudi 15 février 2024-03:31:24
Dates et versions
Identifiants
- HAL Id : inria-00629177 , version 1
Citer
Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata.. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), Mar 2011, Saarbrücken, Germany. pp. 96-111. ⟨inria-00629177⟩
55
Consultations
0
Téléchargements