Placeholder text
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
0 - Default Title
Description
The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.
Product details
Binding:
Paperback
Number of Pages:
348
Release Date:
2025-11-16
Publication Date:
2025-11-16
Publisher:
Springer
Languages:
Original:
English
ISBN10:
303210761X
ISBN13:
9783032107619
GPSR Manufacturer Reference:
Weight:
528 g
Height:
155 cm
Width:
235 cm
Thickness:
19 cm
Currently sold out