Automated Generation of Partial Markov Chain From High Level Descriptions

Reliability Engineering and System Safety - Netherlands
doi 10.1016/j.ress.2015.02.009

Related search