Keyphrases
- computational model
- high level
- probabilistic model
- prediction model
- least squares
- formal model
- mathematical model
- neural network model
- petri net
- state machine
- transformation rules
- formal verification
- formal methods
- simulation model
- real time
- probability distribution
- information systems
- social networks
- genetic algorithm
- neural network