JPL Technical Report Server

Formal methods and software reliability

Show simple item record Holzmann, Gerard J. 2006-02-08 2006-02-08 2004-06-23
dc.identifier.citation Second ACM-IEEE International Conference, San Diego Hilton, San Diego, CA, June 23, 2004 en
dc.identifier.clearanceno 04-0962
dc.description.abstract In this position statement I briefly describe how the software reliability problem has changed over the years, and the primary reasons for the recent creation of the Laboratory for Reliable Software at JPL en
dc.description.sponsorship NASA/JPL en
dc.format.extent 203631 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US en
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2004 en
dc.subject software reliability en
dc.title Formal methods and software reliability en
dc.type Preprint en

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account