A BDD-based algorithm for computation of exact fault detection probabilities
FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing. USA: IEEE Comput. Soc. Press 2002
Erscheinungsjahr: 2002
ISBN/ISSN: 0818636807
Publikationstyp: Diverses
Sprache: Englisch
Doi/URN: 10.1109/ftcs.1993.627322
Klassifikation
DDC Sachgruppe:
Informatik
