[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

BishopLittlewoodPovyakaloWright11

  1. Peter Bishop & Bev Littlewood & Andray Povyakalo & David Wright
  2. Toward a formalism for conservative claims about the dependability of software-based systems
  3. IEEE Trans Software Engineering V37n5(Sep/Oct 2011)pp706-717
  4. =THEORY MATHEMATICS CONFIDENCE BAYES PROBABILITY
  5. How confident are you that 99.99% of the time the system will work correctly?
  6. How would your confidence change if the system passes a test?

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]