Specifying Real-Time Properties with Metric Temporal Logic.

Published in: Real Time Syst. (1990)

Keyphrases

real time
metric temporal logic
low cost
desirable properties
information retrieval
high level
high speed
high fidelity
database
data sets
data structure
data acquisition
structural properties
moving target