Optimized temporal monitors for SystemC.
Deian TabakovKristin Y. RozierMoshe Y. VardiPublished in: Formal Methods Syst. Des. (2012)
Keyphrases
- spatio temporal
- temporal information
- temporal reasoning
- temporal databases
- temporal relations
- spatial and temporal
- temporal constraints
- temporal patterns
- temporal data
- temporal characteristics
- temporal consistency
- information retrieval
- temporal dimension
- time stamped
- temporal analysis
- neural network
- temporal aspects
- databases