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}
}