Verifying Quantitative Real-Time Properties of Synchronous Programs.

Martin Jourdan Florence Maraninchi Alfredo Olivero

Published in: CAV (1993)

Keyphrases

real time
qualitative and quantitative
real time systems
control system
image processing
face recognition
low cost
neural network
quantitative and qualitative
desirable properties
moving target
database
machine learning
e learning
video sequences
evolutionary algorithm
real world
high speed