An Event Model for Deadline Verification of Hard Real-Time Systems.
Klaus GresserPublished in: RTS (1993)
Keyphrases
- high level
- mathematical model
- formal model
- computational model
- case study
- probabilistic model
- theoretical analysis
- objective function
- management system
- em algorithm
- simulation model
- bayesian framework
- neural network model
- statistical model
- theoretical framework
- data sets
- response time
- prior knowledge
- similarity measure
- search engine