Login / Signup
Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model.
Naif A. Mokhayesh Alzahrani
Dorina C. Petriu
Published in:
PRDC (2013)
Keyphrases
</>
statistical model
computational model
formal model
theoretical framework
cost function
probability distribution
mathematical model
behavioral model
learning algorithm
knowledge base
objective function
probabilistic model
em algorithm
theoretical analysis
parameter estimation