01999nam 2200553Ia 450 991045037830332120200520144314.01-282-08416-X97866120841640-309-54619-2(CKB)1000000000017885(EBL)3377336(SSID)ssj0000253587(PQKBManifestationID)11222407(PQKBTitleCode)TC0000253587(PQKBWorkID)10206735(PQKB)10177577(MiAaPQ)EBC3377336(Au-PeEL)EBL3377336(CaPaEBR)ebr10071361(CaONFJC)MIL208416(OCoLC)923269882(EXLCZ)99100000000001788520041026d2004 uy 0engurcn|||||||||txtccrSummary of a workshop on software certification and dependability[electronic resource] /Committee on Certifiably Dependable Software SystemsWashington, D.C. The National Academies Pressc20041 online resource (57 p.)Description based upon print version of record.0-309-09429-1 Includes bibliographical references.""Front Matter""; ""Contents""; ""1 OVERVIEW OF WORKSHOP DISCUSSIONS""; ""2 SUMMARY OF PANEL SESSIONS AND PRESENTATIONS""; ""3 SUMMARY OF CLOSING SESSION""; ""APPENDIXES""; ""A Workshop Agenda""; ""B Panelist Biographies""; ""C Committee Member and Staff Biographies""; ""WHAT IS CSTB?""Computer softwareCertificationComputer scienceElectronic books.Computer softwareCertification.Computer science.005.7136MiAaPQMiAaPQMiAaPQBOOK9910450378303321Summary of a workshop on software certification and dependability1931599UNINA