Login / Signup

An event based formal specification method to diabetic's behavior monitor system.

Seyed Morteza BabamirMehdi Borhani Dehkordi
Published in: WCIT (2011)
Keyphrases
  • formal specification
  • similarity measure
  • monitoring system
  • real world
  • cooperative