Login / Signup
Zenet: generating and enforcing real-time temporal invariants.
Chris Lewis
Published in:
ICSE (2) (2010)
Keyphrases
</>
real time
temporal databases
temporal data
spatio temporal
low cost
control system
spatial and temporal
temporal information
temporal aspects
temporal dimension
temporal relations
real time systems
temporal patterns
temporal constraints
website
computer vision
databases