Compositional Verification of Real-Time Applications.

Published in: COMPOS (1997)

Keyphrases

real time
low cost
data sets
model checking
vision system
neural network
genetic algorithm
multiscale
high speed
graphics hardware
temporal logic
quality of service
control system
multiresolution
similarity measure
multimedia
e learning
artificial intelligence