Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee. Towards Assurance for Plug & Play Medical Systems. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Volume 9337 of Lecture Notes in Computer Science, pages 228-242, Springer, 2015. [doi]
@inproceedings{KingFPCSHL15,
title = {Towards Assurance for Plug & Play Medical Systems},
author = {Andrew L. King and Lu Feng and Sam Procter and Sanjian Chen and Oleg Sokolsky and John Hatcliff and Insup Lee},
year = {2015},
doi = {10.1007/978-3-319-24255-2_17},
url = {http://dx.doi.org/10.1007/978-3-319-24255-2_17},
researchr = {https://researchr.org/publication/KingFPCSHL15},
cites = {0},
citedby = {0},
pages = {228-242},
booktitle = {Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
editor = {Floor Koornneef and Coen van Gulijk},
volume = {9337},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-24254-5},
}