Fumio Machida, Paulo R. M. Maciel. Markov chains and Petri nets for software rejuvenation systems. In 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020. pages 325-326, IEEE, 2020. [doi]
Abstract is missing.