Runtime Verification of Web Services for Interconnected Medical Devices.

Normann Decker, Franziska Khn, Daniel Thoma

Browse the full ISSRE paper archive.