Automatic abstractions of real-time specifications.

Monica Brockmeyer

Published in: HASE (2000)

Keyphrases

real time
high level
fully automatic
low cost
high speed
vision system
semi automatic
high fidelity
image processing
trade off
real time systems
video sequences
relational databases