VeRV: A temporal and data-concerned verification framework for the vehicle bus systems.
Shuo ZhangFei HeMing GuPublished in: INFOCOM (2015)
Keyphrases
- data collection
- computer systems
- data analysis
- data structure
- data sets
- data sources
- data processing
- heterogeneous systems
- temporal data
- statistical analysis
- missing data
- spatiotemporal data
- temporal evolution
- temporal databases
- data quality
- original data
- temporal information
- spatial data
- sensor data
- high quality
- high speed
- image data
- spatio temporal
- real time
- training data
- raw data
- data points
- probability distribution
- probabilistic model
- temporal dimension
- high dimensional