Software safety assessment based on a subordinated Markov chain.

Hiroyuki Okamura Tadashi Dohi

Published in: Int. J. Syst. Assur. Eng. Manag. (2010)

Keyphrases

markov chain
steady state
finite state
monte carlo
monte carlo method
markov process
stationary distribution
monte carlo simulation
random walk
state space
transition probabilities
markov model
stochastic process
transition matrix
state transition
machine learning
gibbs sampler