Real-Time Refinement: Semantics and Application.

David Scholefield Hussein S. M. Zedan Jifeng He

Published in: MFCS (1993)

Keyphrases

real time
formal semantics
data sets
low cost
information retrieval
query processing
vision system
model checking