Exploring AADL verification tool through model transformation.
Kai HuTeng ZhangZhibin YangWei-Tek TsaiPublished in: J. Syst. Archit. (2015)
Keyphrases
- experimental data
- probabilistic model
- mathematical model
- information systems
- simulation model
- conceptual model
- statistical model
- neural network
- computational model
- theoretical analysis
- colored petri nets
- linear model
- prediction model
- formal model
- closed form
- petri net
- prior knowledge
- objective function
- bayesian networks
- similarity measure
- high level
- decision trees
- knowledge base
- search engine
- learning algorithm