Applying B and ProB to a Real-world Data Validation Project.
Peng ChengKeming WangPublished in: ISKE (2021)
Keyphrases
- data sets
- real world
- data analysis
- synthetic data
- data collection
- database
- original data
- raw data
- data structure
- training data
- small number
- data processing
- complex data
- high dimensional data
- data sources
- data mining
- end users
- databases
- data acquisition
- data distribution
- application domains
- feature selection
- case study
- statistical analysis
- high quality
- computer systems
- multimedia data
- neural network
- noisy data
- data quality
- big data
- data points
- historical data