Formal verification and quantitative metrics of MPSoC data dynamics.

Hui Zhang Jinzhao Wu

Published in: Formal Aspects Comput. (2018)

Keyphrases

data sets
knowledge discovery
data analysis
formal verification
high quality
input data
data processing
data collection
data quality
database
training data
data structure
data sources
computer systems
statistical analysis