Sébastien Salva
Sébastien Salva
Home
Research
Tools
Publications
Teaching
Projects
Contact
Light
Dark
Automatic
Generation of tests for real-time systems with test purposes
sébastien Salva
,
Patrice Laurencot
March, 2007
PDF
Cite
Type
1
Publication
15th International Conference on Real-Time and Network Systems RTNS07
Cite
×