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

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