|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Birgit Milius , Simon Collart-Dutilleul , Thierry LecomtePublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2023 Volume: 14198 Weight: 0.385kg ISBN: 9783031433658ISBN 10: 3031433653 Pages: 226 Publication Date: 08 September 2023 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |