Login / Signup
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump.
Hao Xu
Tom Maibaum
Published in:
FHIES (2011)
Keyphrases
</>
domain specific
event detection
databases
computer vision
information systems
multiscale