Title: Towards automatic Markov reliability modeling of computer architectures
Subjects: System analysis, Computer architecture, Markov processes