Sébastien Salva
Sébastien Salva
Home
Research
Tools
Publications
Teaching
Projects
Contact
Light
Dark
Automatic
A Simple Approach for Timed System Testing
sébastien Salva
,
Eric Petitjean
,
Hacène Fouchal
August, 2001
Cite
Type
1
Publication
Formal Approaches to Testing of Software (FATES01), A Satellite Workshop of CONCUR01
Cite
×