Runtime Verification of Web Services for Interconnected Medical Devices
Title | Runtime Verification of Web Services for Interconnected Medical Devices |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Decker, N, Kühn, F, Thoma, D |
Conference Name | 25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014 |
Publisher | {IEEE} |
URL | http://dx.doi.org/10.1109/ISSRE.2014.16 |
DOI | 10.1109/ISSRE.2014.16 |
Bibtex:
@inproceedings {1147, title = {Runtime Verification of Web Services for Interconnected Medical Devices}, booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014}, year = {2014}, publisher = {{IEEE}}, organization = {{IEEE}}, doi = {10.1109/ISSRE.2014.16}, url = {http://dx.doi.org/10.1109/ISSRE.2014.16}, author = {Normann Decker and Franziska K{\"u}hn and Daniel Thoma} }