29565Génération automatique de tests à partir de modèles pour systèmes temps réel embarqués critiques [En savoir plus]TESTEC - ANR-07-TLOG-0022
TLOG - 2007

Voir les documents associés 

Exporter

• Export XML
• Export RDF