• Ann T. Tai
  • John F. Meyer
  • Algirdas Avižienis
Part of the The Kluwer International Series in Engineering and Computer Science book series (SECS, volume 347)


Contemporary computer systems represent a fusion of concepts, techniques, and technologies from a variety of fields. It is not surprising, therefore, that model-based means of evaluating such systems have likewise evolved from methods originating in one field or another, merged in various ways to satisfy differing evaluation needs. As these systems become more physically and logically complex, challenges regarding their evaluation fail to subside, calling for continued innovation in areas of model specification, construction, and solution.


Service Quality Object System Continue Innovation Distribute Database System Intermittent Fault 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Ann T. Tai
    • 1
  • John F. Meyer
    • 2
  • Algirdas Avižienis
    • 3
  1. 1.SoHaR Inc.Beverly HillsUSA
  2. 2.University of MichiganAnn ArborUSA
  3. 3.University of CaliforniaLos AngelesUSA

Personalised recommendations