Une méthode de test des systèmes temporisés orientée objectif de test

Publication
RENPAR14