JPL Technical Report Server

Formal methods and software reliability

Show simple item record

dc.contributor.author Holzmann, Gerard J.
dc.date.accessioned 2006-02-08
dc.date.available 2006-02-08
dc.date.issued 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.identifier.uri http://hdl.handle.net/2014/38432
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

Search


Browse

My Account