Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings (1st ed. 2023) (Lecture Notes in Computer Science #14198)
By: and and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- 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.
- Copyright:
- 2023
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783031433665
- Related ISBNs:
- 9783031433658
- Publisher:
- Springer Nature Switzerland
- Date of Addition:
- 10/09/23
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Birgit Milius
- Edited by:
- Simon Collart-Dutilleul
- Edited by:
- Thierry Lecomte
Reviews
Other Books
- by Birgit Milius
- by Simon Collart-Dutilleul
- by Thierry Lecomte
- in Nonfiction
- in Computers and Internet