Génération de tests temporisés orientée caractérisation d états

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