Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components.

Peter Bishop, Andrey Povyakalo

Browse the full SAFECOMP paper archive.