Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon. Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE T. Human-Machine Systems, 47(6):834-846, 2017. [doi]
@article{HarrisonMCC17-0,
title = {Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices},
author = {Michael D. Harrison and Paolo Masci and José Creissac Campos and Paul Curzon},
year = {2017},
doi = {10.1109/THMS.2017.2717910},
url = {https://doi.org/10.1109/THMS.2017.2717910},
researchr = {https://researchr.org/publication/HarrisonMCC17-0},
cites = {0},
citedby = {0},
journal = {IEEE T. Human-Machine Systems},
volume = {47},
number = {6},
pages = {834-846},
}