Méthodes formelles : application au domaine ferroviaire : Dossier complet | Techniques de l’Ingénieur

Article de référence | Réf : TRP3309 v1

Méthodes formelles : application au domaine ferroviaire

Auteur(s) : Jean-Louis BOULANGER

Date de publication : 10 févr. 2016