| http://www.w3.org/ns/prov#value | - Then the decomposition algorithm is applied on these Markov models and we solve them with the Markov model solver which is implemented with CVODE. Finally, the analysis results including system reliability and components sensitivity are outputted to a screen or printer.
|
