Dependability for systems with a partitioned state space: Markov and semi-Markov theory and computational implementation

From MaRDI portal