Task Model Design and Analysis with Alloy.
Alcino CunhaNuno MacedoEunsuk KangPublished in: ABZ (2023)
Keyphrases
- computational model
- probabilistic model
- experimental data
- statistical model
- conceptual model
- formal model
- em algorithm
- mathematical model
- prior knowledge
- similarity measure
- statistical analysis
- real time
- high level
- empirical data
- quantitative analysis
- metamodel
- parameter estimation
- theoretical framework
- data analysis
- objective function
- artificial intelligence
- neural network