Formal Verification of Fault Tolerance Using Theorem-Proving Techniques

By: Material type: ArticleArticleDescription: 366-276 pSubject(s): In: IEEE Transactions on Computers
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.38, No.03 (Mar. 1989) Available