Reliability safety security railway (106 Ergebnisse)

3031433653 / 9783031433658

Zustand: Gebraucht - Befriedigend

EUR 56,30

EUR 2,65 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2025.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2023

Softcover

Anbieter: Books From California, Simi Valley, CA, USABooks From California

Verkäufer/-in mit 4 Sternen

Collart-dutilleul, Simon (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)

Zustand: Gebraucht - Gut

EUR 55,07

EUR 4,40 Versand

Versand innerhalb von USA

Anzahl: 2 verfügbar

paperback. Zustand: Very Good.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, Rssrail 2019, Lille, France, June 4?6, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Fantechi, Alessandro (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)

Zustand: Neu

EUR 59,26

EUR 2,33 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems : Modelling, Analysis, Verification, and Certification; Second International Conference, Rssrail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Sprache: Englisch

Verlag: Springer, 2017

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Collart-dutilleul, Simon (EDT); Haxthausen, Anne E. (EDT); Lecomte, Thierry (EDT)

Zustand: Gebraucht - Wie neu

EUR 61,78

EUR 2,33 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, Rssrail 2022, Paris, France, June 1-2, 2022, Proceedings

Sprache: Englisch

Verlag: Springer, 2022

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Collart-dutilleul, Simon (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)

Zustand: Neu

EUR 65,04

EUR 2,33 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, Rssrail 2019, Lille, France, June 4?6, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

Zustand: Gebraucht - Wie neu

EUR 69,91

EUR 2,33 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail . (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer 2016-06-15, 2016

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Lecomte, Thierry (EDT); Pinger, Ralf (EDT); Romanovsky, Alexander (EDT)

Zustand: Neu

EUR 57,40

EUR 18,07 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

Paperback. Zustand: New.

Reliability, Safety, and Security of Railway Systems : Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Collart-dutilleul, Simon (EDT); Haxthausen, Anne E. (EDT); Lecomte, Thierry (EDT)

Zustand: Neu

EUR 75,32

EUR 2,33 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, Rssrail 2022, Paris, France, June 1-2, 2022, Proceedings

Sprache: Englisch

Verlag: Springer, 2022

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Lecomte, Thierry (EDT); Pinger, Ralf (EDT); Romanovsky, Alexander (EDT)

Zustand: Gebraucht - Wie neu

EUR 75,90

EUR 2,33 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Reliability, Safety, and Security of Railway Systems : Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Fantechi, Alessandro (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)

Zustand: Neu

EUR 60,38

EUR 17,50 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems : Modelling, Analysis, Verification, and Certification; Second International Conference, Rssrail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Sprache: Englisch

Verlag: Springer, 2017

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 77,75

EUR 2,33 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer, 2017

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 67,23

EUR 13,17 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail ... (Lecture Notes in Computer Science, 9707)

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 67,23

EUR 13,17 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2

Collart-Dutilleul, Simon

Sprache: Englisch

Verlag: Springer 2019-04, 2019

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

3031433653 / 9783031433658

Zustand: Neu

EUR 63,73

EUR 18,07 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

PF. Zustand: New.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail ... (Lecture Notes in Computer Science, 14198)

Sprache: Englisch

Verlag: Springer, 2023

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Collart-dutilleul, Simon (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)

Zustand: Neu

EUR 82,65

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, Rssrail 2019, Lille, France, June 4?6, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Fantechi, Alessandro (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)

Zustand: Neu

EUR 66,72

EUR 17,50 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems : Modelling, Analysis, Verification, and Certification; Second International Conference, Rssrail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Sprache: Englisch

Verlag: Springer, 2017

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Fantechi, Alessandro (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)

Zustand: Neu

EUR 67,22

EUR 17,50 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems : Modelling, Analysis, Verification, and Certification; Second International Conference, Rssrail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Sprache: Englisch

Verlag: Springer, 2017

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 67,22

EUR 17,50 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail . (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 83,22

EUR 3,52 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 249.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail ... (Lecture Notes in Computer Science, 11495)

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 74,01

EUR 13,17 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 202

Collart-Dutilleul, Simon

Sprache: Englisch

Verlag: Springer 2022-05, 2022

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Collart-dutilleul, Simon (EDT); Haxthausen, Anne E. (EDT); Lecomte, Thierry (EDT)

Zustand: Neu

EUR 69,87

EUR 18,07 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

PF. Zustand: New.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, Rssrail 2022, Paris, France, June 1-2, 2022, Proceedings

Sprache: Englisch

Verlag: Springer, 2022

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Collart-dutilleul, Simon (EDT); Lecomte, Thierry (EDT); Romanovsky, Alexander (EDT)

Zustand: Neu

EUR 72,86

EUR 17,50 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, Rssrail 2019, Lille, France, June 4?6, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 73,91

EUR 17,50 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail ... (Lecture Notes in Computer Science, 13294)

Sprache: Englisch

Verlag: Springer, 2022

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

3031433653 / 9783031433658

Zustand: Neu

EUR 80,79

EUR 10,93 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail ... (Lecture Notes in Computer Science, 14198)

Sprache: Englisch

Verlag: Springer, 2023

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

303210761X / 9783032107619

Zustand: Neu

EUR 80,79

EUR 10,93 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th International Conference, RSSRail 2025, Pisa, Italy, November 26?28, 2025, Proceedings

Sprache: Englisch

Verlag: Springer, 2025

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Collart-dutilleul, Simon (EDT); Haxthausen, Anne E. (EDT); Lecomte, Thierry (EDT)

Zustand: Neu

EUR 93,28

EUR 3,52 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, Rssrail 2022, Paris, France, June 1-2, 2022, Proceedings

Sprache: Englisch

Verlag: Springer, 2022

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 80,76

EUR 17,50 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Alexander Romanovsky

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,09

EUR 35,00 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

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.…

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Alexander Romanovsky

Sprache: Englisch

Verlag: Springer, 2017

Softcover

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,09

EUR 35,00 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.…

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail . (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2022

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen