Article / Réf : TRP3309 v1

Méthodes formelles : application au domaine ferroviaire

Auteur(s) : Jean-Louis BOULANGER

Date de publication : 10 févr. 2016