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]
@inproceedings{MuramGK19,
title = {A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process},
author = {Faiz Ul Muram and Barbara Gallina and Samina Kanwal},
year = {2019},
doi = {10.1007/978-3-030-18744-6_8},
url = {https://doi.org/10.1007/978-3-030-18744-6_8},
researchr = {https://researchr.org/publication/MuramGK19},
cites = {0},
citedby = {0},
pages = {125-141},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
editor = {Simon Collart Dutilleul and Thierry Lecomte and Alexander B. Romanovsky},
volume = {11495},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-18744-6},
}