On the Merits of Temporal Testers.
Amir PnueliAleksandr ZaksPublished in: 25 Years of Model Checking (2008)
Keyphrases
- temporal information
- spatial and temporal
- spatio temporal
- temporal data
- data sets
- search algorithm
- temporal constraints
- test cases
- temporal evolution
- neural network
- temporal databases
- temporal reasoning
- temporal analysis
- database
- spatial features
- temporal patterns
- space time
- expert systems
- case study
- computer vision
- artificial intelligence
- information retrieval
- databases
- real time