Normann Decker, Franziska Kühn, Daniel Thoma. Runtime Verification of Web Services for Interconnected Medical Devices. In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014. pages 235-244, IEEE, 2014. [doi]
Abstract is missing.