Proof-Checking a Data Link Protocol.
Leen HelminkM. P. A. SellinkFrits W. VaandragerPublished in: TYPES (1993)
Keyphrases
- data sets
- data collection
- database
- data acquisition
- data distribution
- experimental data
- data sources
- statistical analysis
- complex data
- data quality
- attribute values
- computer systems
- image data
- knowledge discovery
- data points
- data analysis
- training data
- input data
- data processing
- high dimensional data
- synthetic data
- prior knowledge
- data streams
- high quality
- raw data
- original data
- feature selection