Runtime Verification of Web Services for Interconnected Medical Devices.

Normann Decker Franziska Kühn Daniel Thoma

Published in: ISSRE (2014)

Keyphrases

medical devices
web services
finite state machines
model checking
formal methods
location aware
quality of service
database
image analysis
service composition
operating room