Login / Signup

RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach.

Saeed JaliliMehdi MirzaAghaei
Published in: SERA (2007)
Keyphrases
  • real time
  • event driven
  • low cost
  • high speed
  • data sets
  • databases
  • control system
  • distributed systems
  • logic programming
  • asynchronous circuits