Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification / Lecture Notes in Computer Science Bd.9707 (PDF)
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.
The 15 revised full papers presented were carefully reviewed...
The 15 revised full papers presented were carefully reviewed...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification / Lecture Notes in Computer Science Bd.9707 (PDF)“
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.
Bibliographische Angaben
- 2016, 1st ed. 2016, 255 Seiten, Englisch
- Herausgegeben: Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319339516
- ISBN-13: 9783319339511
- Erscheinungsdatum: 14.06.2016
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 10 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification / Lecture Notes in Computer Science Bd.9707"
0 Gebrauchte Artikel zu „Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification / Lecture Notes in Computer Science Bd.9707“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification / Lecture Notes in Computer Science Bd.9707".
Kommentar verfassen