Markov chains and Petri nets for software rejuvenation systems.

Fumio Machida, Paulo R. M. Maciel

Browse the full ISSRE paper archive.