Génération automatique d objectifs de test pour systèmes temporisés

Sébastien Salva, Patrice Laurencot
April, 2005
Cite
Type
1
Publication
Colloque Francophone de l ingénierie des Protocoles (CFIP)