Title: Measurement-based reliability/performability models
Subjects: Multiprocessing (Computers), Error analysis, Software engineering, Mathematical models, Failure analysis, Program verification (Computers), Markov processes