A BDD-based algorithm for computation of exact fault detection probabilities
The Twenty-Third International Symposium on Fault-Tolerant Computing (FTCS). Toulouse: IEEE 1993 S. 186 - 195
Erscheinungsjahr: 1993
ISBN/ISSN: 0818636807
Publikationstyp: Diverses
Sprache: Englisch
Doi/URN: 10.1109/ftcs.1993.627322
| Geprüft | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
