Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail . (Programming and Software Engineering)
ISBN 10: 3319339508 ISBN 13: 9783319339504
Verlag: Springer, 2016
Neu
Softcover
Verkäufer
Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
In. Bestandsnummer des Verkäufers ria9783319339504_new
Inhaltsangabe:
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.
Reseña del editor:
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 andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Reliability, Safety, and Security of Railway...
Verlag: Springer
Erscheinungsdatum: 2016
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Verlag:
Springer International Publishing, 2016
ISBN 10: 3319339508
ISBN 13: 9783319339504
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements. Artikel-Nr. 9783319339504
Neu kaufen
EUR 53,49
EUR 62,06 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN 10: 3319339508
ISBN 13: 9783319339504
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the FirstSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. Artikel-Nr. 9783319339504
Neu kaufen
EUR 53,49
EUR 60,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 268 pages. 9.25x6.10x0.61 inches. In Stock. Artikel-Nr. x-3319339508
Neu kaufen
EUR 77,38
EUR 28,55 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar