A Simplification of a Real-Time Verification Problem

Indranil Saha Janardan Misra Suman Roy

Published in: CoRR (2010)

Keyphrases

real time
low cost
control system
high speed
data sets
search algorithm
high fidelity
image segmentation
similarity measure
data structure
expert systems
model checking
real time systems