A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process

Faiz Ul Muram, Barbara Gallina, Samina Kanwal. A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. In Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Volume 11495 of Lecture Notes in Computer Science, pages 125-141, Springer, 2019. [doi]

Authors

Faiz Ul Muram

This author has not been identified. Look up 'Faiz Ul Muram' in Google

Barbara Gallina

This author has not been identified. Look up 'Barbara Gallina' in Google

Samina Kanwal

This author has not been identified. Look up 'Samina Kanwal' in Google