J. F. Meyer
Evaluation of computer system dependability and performability is
reviewed with respect to techniques based on probabilistic models.
Emphasis is placed on the general nature of models for this purpose,
along with issues concerning their specification, construction, and
solution. Although specific applications are not covered, the focus
is on techniques which can accommodate the evaluation of complex
Keywords: model-based evaluation, dependability, performability.
Compressed PostScript File: