%0 Conference Paper %1 conf/safecomp/KingFPCSHL15 %A King, Andrew L. %A Feng, Lu %A Procter, Sam %A Chen, Sanjian %A Sokolsky, Oleg %A Hatcliff, John %A Lee, Insup %B SAFECOMP %D 2015 %E Koornneef, Floor %E van Gulijk, Coen %I Springer %K dblp %P 228-242 %T Towards Assurance for Plug & Play Medical Systems. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015.html#KingFPCSHL15 %V 9337 %@ 978-3-319-24254-5

@inproceedings{conf/safecomp/KingFPCSHL15, added-at = {2023-01-26T00:00:00.000+0100}, author = {King, Andrew L. and Feng, Lu and Procter, Sam and Chen, Sanjian and Sokolsky, Oleg and Hatcliff, John and Lee, Insup}, biburl = {https://www.bibsonomy.org/bibtex/22dbfc0d0cfa31a2fc62dc6d4addc395e/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2015}, editor = {Koornneef, Floor and van Gulijk, Coen}, ee = {https://doi.org/10.1007/978-3-319-24255-2_17}, interhash = {5db64d96036a56fea856800604c7db31}, intrahash = {2dbfc0d0cfa31a2fc62dc6d4addc395e}, isbn = {978-3-319-24254-5}, keywords = {dblp}, pages = {228-242}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:00:02.000+0200}, title = {Towards Assurance for Plug & Play Medical Systems.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015.html#KingFPCSHL15}, volume = 9337, year = 2015 }