Login / Signup

Augmenting Event-B modelling with real-time verification.

Alexei IliasovAlexander B. RomanovskyLinas LaibinisElena TroubitsynaTimo Latvala
Published in: FormSERA@ICSE (2012)
Keyphrases
  • real time
  • event driven
  • event detection
  • low cost
  • vision system
  • control system
  • mobile robot
  • general purpose
  • high fidelity
  • decision trees
  • multiscale
  • high speed
  • medical images
  • model checking
  • real time systems