%0 Journal Article %1 journals/cars/DawCV14 %A Daw, Zamira %A Cleaveland, Rance %A Vetter, Marcus %D 2014 %J Int. J. Comput. Assist. Radiol. Surg. %K dblp %N 1 %P 145-153 %T Formal verification of software-based medical devices considering medical guidelines. %U http://dblp.uni-trier.de/db/journals/cars/cars9.html#DawCV14 %V 9

@article{journals/cars/DawCV14, added-at = {2019-07-11T00:00:00.000+0200}, author = {Daw, Zamira and Cleaveland, Rance and Vetter, Marcus}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29ad12e1359aa04070e3131ec2e40a90c/dblp}, ee = {https://doi.org/10.1007/s11548-013-0919-2}, interhash = {63f3ea45e67a369f60ab4ba74bf5a01a}, intrahash = {9ad12e1359aa04070e3131ec2e40a90c}, journal = {Int. J. Comput. Assist. Radiol. Surg.}, keywords = {dblp}, number = 1, pages = {145-153}, timestamp = {2019-09-27T10:28:33.000+0200}, title = {Formal verification of software-based medical devices considering medical guidelines.}, url = {http://dblp.uni-trier.de/db/journals/cars/cars9.html#DawCV14}, volume = 9, year = 2014 }