C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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