Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail ... Notes in Computer Science, Band 14198) - Softcover
Inhaltsangabe
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.
The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Reliability, Safety, and Security of Railway Systems....
Beispielbild für diese ISBN
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good. Artikel-Nr. mon0003612464
Gebraucht kaufen
EUR 53,02
EUR 4,24 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783031433658_new
Neu kaufen
EUR 66,04
EUR 13,84 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, Rssrail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 246 pages. 9.25x6.10x0.52 inches. In Stock. Artikel-Nr. x-3031433653
Neu kaufen
EUR 96,43
EUR 11,55 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
ISBN 10: 3031433653
ISBN 13: 9783031433658
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 proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling. Artikel-Nr. 9783031433658
Neu kaufen
EUR 69,54
EUR 61,91 Versand
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 | 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings | Birgit Milius (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2023 | Springer | EAN 9783031433658 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 127343654
Neu kaufen
EUR 63,80
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10¿12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling. Artikel-Nr. 42313324/2
Gebraucht kaufen
EUR 44,49
EUR 105,00 Versand
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 : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10¿12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling. Artikel-Nr. 42313324/1
Gebraucht kaufen
EUR 45,82
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar