Visualization of Analysis Results in the ProC/B Toolset.

Markus Arns Markus Fischer Carsten Tepper Markus Völker

Published in: QEST (2004)

Keyphrases

data analysis
neural network
preprocessing
automatic analysis
structural analysis
data mining
machine learning
wide range
relational databases