Risk analysis of an ETCS level 2 operated line

Détails

ID Serval
serval:BIB_28812
Type
Actes de conférence (partie): contribution originale à la littérature scientifique, publiée à l'occasion de conférences scientifiques, dans un ouvrage de compte-rendu (proceedings), ou dans l'édition spéciale d'un journal reconnu (conference proceedings).
Collection
Publications
Institution
Titre
Risk analysis of an ETCS level 2 operated line
Titre de la conférence
Formal methods for railway operation and control systems : proceedings of Symposium FORMS 2003, Budapest, Hungary, May 15-16, 2003
Auteur(s)
Vuille F., Vernez David, Macabrey N.
Editeur
L'Harmattan
Adresse
Budapest
Statut éditorial
Publié
Date de publication
2003
Pages
243-250
Langue
anglais
Création de la notice
19/11/2007 13:26
Dernière modification de la notice
20/08/2019 14:08
Données d'usage