Auteur
Sana Jabri
Œuvres
Documents
Génération de scénarios de tests pour la vérification de systèmes répartis : application au système européen de signalisation ferroviaire (ERTMS), Generation of test scenarios for distributed system checking : application to the European Railway Traffic Management System (ERTMS)
Documents
Savoirs
Génération de scénarios de tests pour la vérification de systèmes répartis : application au système européen de signalisation ferroviaire (ERTMS), Generation of test scenarios for distributed system checking : application to the European Railway Traffic Management System (ERTMS)
225 pages
Français
