A Timed Failures Model for Extended Communicating Processes.
Rob GerthAndy BoucherPublished in: ICALP (1987)
Keyphrases
- theoretical framework
- mathematical model
- objective function
- prediction model
- cost function
- probabilistic model
- parameter estimation
- simulation model
- petri net
- colored petri nets
- database
- object model
- metamodel
- formal model
- computational models
- bayesian framework
- sensitivity analysis
- conceptual model
- process model
- computational model
- management system
- database systems
- feature selection
- genetic algorithm
- machine learning