Risk analysis of an ETCS level 2 operated line

Details

Request a copyRequest a copy
Serval ID
serval:BIB_28812
Type
Inproceedings: an article in a conference proceedings.
Collection
Publications
Institution
UNIL/CHUV
Title
Risk analysis of an ETCS level 2 operated line
Title of the conference
Formal methods for railway operation and control systems : proceedings of Symposium FORMS 2003, Budapest, Hungary, May 15-16, 2003
Author(s)
Vuille F., Vernez David, Macabrey N.
Publisher
L'Harmattan
Address
Budapest
Publication state
Published
Issued date
2003
Pages
243-250
Language
english
OAI-PMH
oai:serval.unil.ch:BIB_28812
Create date
19/11/2007 13:26
Last modification date
20/08/2019 14:08
Usage data