Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, Rssrail 20 » książka
Railways System and Infrastructure Advance Modelling.- Scheduling and Track Planning.- Safety Process and Validation.- Modelling.- Formal Verification.- Security.