Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecomte Thierry
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecomte Thierry
- First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
This book constitutes the refereed proceedings of the First
International Conference on Reliability, Safety, and Security of Railway
Systems, RSSRail 2016, held in Paris, France, in June 2016.
The 15 revised full papers presented were carefully reviewed and
selected from 36 initial submissions. The papers cover a wide range of
topics including failure analysis, interlocking verification, formal
system specification and refinement, security analysis of ERTMS, safety
verification, formalisation of requirements, proof automation,
operational security, railway system reliability, risk assessment for
ERTMS, and verification of EN-50128 safety requirements.
EAN: 9783319339504
Marka
Symbol
226HKJ03527KS
Rok wydania
2016
Strony
268
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Lecomte Thierry
Język
angielski

Bez ryzyka
14 dni na łatwy zwrot

Szeroki asortyment
ponad milion pozycji

Niskie ceny i rabaty
nawet do 50% każdego dnia
Niepotwierdzona zakupem
Ocena: /5
Marka
Symbol
226HKJ03527KS
Kod producenta
9783319339504
Rok wydania
2016
Strony
268
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Lecomte Thierry
Język
angielski

This book constitutes the refereed proceedings of the First
International Conference on Reliability, Safety, and Security of Railway
Systems, RSSRail 2016, held in Paris, France, in June 2016.
The 15 revised full papers presented were carefully reviewed and
selected from 36 initial submissions. The papers cover a wide range of
topics including failure analysis, interlocking verification, formal
system specification and refinement, security analysis of ERTMS, safety
verification, formalisation of requirements, proof automation,
operational security, railway system reliability, risk assessment for
ERTMS, and verification of EN-50128 safety requirements.
EAN: 9783319339504
Niepotwierdzona zakupem
Ocena: /5
Zapytaj o produkt
Niepotwierdzona zakupem
Ocena: /5
Napisz swoją opinię