Johannes Leupolz, Axel Habermaier, Wolfgang Reif. Quantitative and qualitative safety analysis of a hemodialysis machine with S#. Journal of Software Maintenance, 30(5), 2018. [doi]
@article{LeupolzHR18,
title = {Quantitative and qualitative safety analysis of a hemodialysis machine with S#},
author = {Johannes Leupolz and Axel Habermaier and Wolfgang Reif},
year = {2018},
doi = {10.1002/smr.1942},
url = {https://doi.org/10.1002/smr.1942},
researchr = {https://researchr.org/publication/LeupolzHR18},
cites = {0},
citedby = {0},
journal = {Journal of Software Maintenance},
volume = {30},
number = {5},
}