User-friendly event and aspect verification.

Cynthia Disenfeld

Published in: AOSD (Companion) (2013)

Keyphrases

user friendly
graphical user interface
back end
online databases
graphical interface
user interface
highly interactive
model checking
event detection
software package
artificial intelligence
command line
multimedia
interactive data mining
senior citizens
open source
database