Behavioral analysis of a fault-tolerant software system with rejuvenation.

Koichiro Rinsaka, Tadashi Dohi

Browse the full ISADS paper archive.