Keyphrases
- computational model
- formal verification
- experimental data
- management system
- high level
- metamodel
- formal model
- theoretical framework
- probability distribution
- social networks
- software engineering
- orders of magnitude
- object oriented
- mathematical model
- model checking
- temporal logic
- probabilistic model
- objective function