×

Software reliability model for modular program structure. (English) Zbl 0409.68010


MSC:

68N99 Theory of software
68N25 Theory of operating systems
68Q60 Specification and verification (program logics, model checking, etc.)
62N05 Reliability and life testing
PDFBibTeX XMLCite
Full Text: DOI