Contract-Based Specification and Analysis of AADL Models.

Ernesto Posse Jürgen Dingel

Published in: ACVI@MoDELS (2014)

Keyphrases

data analysis
quantitative analysis
databases
neural network
classification models
prior knowledge
probabilistic model
mathematical models
database
computational models
statistical model
complex systems
machine learning algorithms
statistical analysis
data model
high level
case study
data sets