Conference Papers
Year : 2011
Amélie Stainer : Connect in order to contact the contributor
https://inria.hal.science/inria-00629177
Submitted on : Wednesday, October 5, 2011-12:01:56 PM
Last modification on : Thursday, March 16, 2023-4:01:28 AM
Dates and versions
Identifiers
- HAL Id : inria-00629177 , version 1
Cite
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⟩
Collections
50
View
0
Download