Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, Rssrail ... October 10-12, 2023, Proceedings: 14198 - Brossura

 
9783031433658: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, Rssrail ... October 10-12, 2023, Proceedings: 14198
Brossura
ISBN 10: 3031433653 ISBN 13: 9783031433658
Casa editrice: Springer, 2023

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2023
Lingua
Inglese
ISBN 10 
3031433653
ISBN 13 
9783031433658
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
248
Redattore
Milius Birgit, Collart-Dutilleul Simon, Lecomte Thierry
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania