Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model.

Naif A. Mokhayesh Alzahrani, Dorina C. Petriu

Browse the full PRDC paper archive.