Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Paperback)
Birgit Milius
ISBN 10: 3031433653 ISBN 13: 9783031433658
Edité par Springer International Publishing AG, Cham, 2023
Neuf(s)
Paperback
Vendeur
Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 12 octobre 2005
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
Paperback. 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 1012, 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. This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031433658
Synopsis :
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Reliability, Safety, and Security of Railway...
Éditeur : Springer International Publishing AG, Cham
Date d'édition : 2023
Reliure : Paperback
Etat : new
Edition : Edition originale
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10¿12, 2023, Proceedings
Edité par
Springer Nature Switzerland, 2023
ISBN 10 : 3031433653
ISBN 13 : 9783031433658
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 42313324/2
Quantité disponible : 2 disponible(s)
Image d'archives
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10¿12, 2023, Proceedings
Edité par
Springer Nature Switzerland, 2023
ISBN 10 : 3031433653
ISBN 13 : 9783031433658
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 42313324/1
Quantité disponible : 1 disponible(s)
Image d'archives
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Edité par
Springer, 2023
ISBN 10 : 3031433653
ISBN 13 : 9783031433658
Ancien ou d'occasion
paperback
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Very Good. N° de réf. du vendeur mon0003612464
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Edité par
Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10 : 3031433653
ISBN 13 : 9783031433658
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. N° de réf. du vendeur 1027290361
Quantité disponible : Plus de 20 disponibles
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 | 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. N° de réf. du vendeur 127343654
Quantité disponible : 5 disponible(s)
Image d'archives
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783031433658_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Edité par
Springer Nature Switzerland, Springer International Publishing, 2023
ISBN 10 : 3031433653
ISBN 13 : 9783031433658
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783031433658
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN 10 : 3031433653
ISBN 13 : 9783031433658
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch. N° de réf. du vendeur 9783031433658
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN 10 : 3031433653
ISBN 13 : 9783031433658
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 248 pp. Englisch. N° de réf. du vendeur 9783031433658
Quantité disponible : 2 disponible(s)
Image d'archives
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783031433658
Quantité disponible : Plus de 20 disponibles