Sign in
Runtime Verification for Interconnected Medical Devices.
Martin Leucker
Malte Schmitz
Danilo à Tellinghusen
Published in:
ISoLA (2) (2016)
Keyphrases
</>
medical devices
model checking
finite state machines
location aware
formal methods
image registration
medical images
wireless networks