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 dependability1931599UNINA01940nam 2200541Ia 450 991070178120332120260430111524.0(CKB)5470000002420283(OCoLC)794557657(DGPO)000869244(EXLCZ)99547000000242028320120531d2011 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierDevelopment and application of benchmark examples for mode II static delamination propagation and fatigue growth predictions /Ronald KruegerHampton, Va. :National Aeronautics and Space Administration, Langley Research Center :National Institute of Aerospace,[2011]1 online resource (68 pages) color illustrations[NASA contractor report] ;NASA/CR-2011-217305Title from title screen (viewed on May 31, 2012)."November 2011.""NIA report no. 2011-02."Includes bibliographical references.DelaminatingnasatMathematical modelsnasatFatigue (materials)nasatFlexingnasatCrack closurenasatStress propagationnasatStatic loadsnasatDelaminating.Mathematical models.Fatigue (materials)Flexing.Crack closure.Stress propagation.Static loads.Krueger Ronald1395935Langley Research Center.National Institute of Aerospace.GPOGPOBOOK9910701781203321Development and application of benchmark examples for mode II static delamination propagation and fatigue growth predictions3467746UNINA