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

Publication
Colloque Francophone de l ingénierie des Protocoles (CFIP)