Formal Virtual Modelling and Data Verification for Supervision Systems.
Thierry LecomtePublished in: FM (2015)
Keyphrases
- data analysis
- data sets
- computer systems
- database
- data sources
- original data
- image data
- distributed systems
- synthetic data
- complex data
- data collection
- high quality
- statistical methods
- sensor data
- knowledge discovery
- missing data
- data processing
- raw data
- spatial data
- input data
- management system
- data points
- training data
- databases
- data mining techniques
- virtual reality
- prior knowledge
- data distribution
- xml documents
- association rules
- data quality
- formal methods
- storage systems