Safe Runtime Verification of Real-Time Properties.

Christian Colombo Gordon J. Pace Gerardo Schneider

Published in: FORMATS (2009)

Keyphrases

real time
vision system
database
high speed
structural properties
databases
neural network
database systems
rough sets
desirable properties
high fidelity
computer vision
image processing
model checking
topological properties