Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models.
Osmar Marchi dos SantosJim WoodcockRichard F. PaigePublished in: ICECCS (2011)
Keyphrases
- formal analysis
- probabilistic model
- statistical model
- parameter estimation
- classification models
- modeling framework
- statistical models
- autoregressive
- neural network model
- probability distribution
- experimental data
- learned models
- agent model
- computational models
- computational model
- general purpose
- low cost
- parametric models
- expert systems
- knowledge base
- machine learning