Ensuring the satisfaction of a temporal specification at run-time.

Grace Tsai M. Insall Bruce M. McMillin

Published in: ICECCS (1995)

Keyphrases

temporal ordering
spatio temporal
linear temporal logic
temporal constraints
temporal data
temporal information
temporal relations
service quality
data sets
specification language
temporal evolution
formal verification
temporal dimension
spatial and temporal
temporal reasoning
run times
data mining