Login / Signup

OBDD-Based Evaluation of Reliability and Importance Measures for Multistate Systems Subject to Imperfect Fault Coverage.

Yung-Ruei ChangSuprasad V. AmariSy-Yen Kuo
Published in: IEEE Trans. Dependable Secur. Comput. (2005)
Keyphrases
  • complex systems
  • knowledge based systems
  • building blocks
  • evaluation measures
  • database
  • search algorithm
  • learning systems
  • model checking