Temporal Verification of Simulation and Refinement.
Yonit KestenZohar MannaAmir PnueliPublished in: REX School/Symposium (1993)
Keyphrases
- spatial and temporal
- spatio temporal
- temporal reasoning
- neural network
- simulation environment
- mathematical model
- simulation model
- temporal patterns
- model checking
- temporal information
- search engine
- temporal data
- temporal consistency
- real time
- temporal databases
- temporal constraints
- numerical simulations
- simulation study
- wireless sensor networks
- data streams