ScaleSem : model checking et web sémantique - Tel archives ouvertes 19 mars 2013 ... Titre de la thèse : GENERATION DE SCENARIOS DE TESTS POUR LA
VERIFICATION DE SYSTEMES. REPARTIS : APPLICATION AU SYSTEME
EUROPEEN DE SIGNALISATION. FERROVIAIRE (ERTMS). Soutenue le 22 Juin
2010 devant le jury d'examen : Président. M. Armand TOGUYENI, Professeur ...