NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Formal methods and software reliabilityIn 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.
Document ID
20060043573
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/38432
Authors
Holzmann, Gerard J.
Date Acquired
August 23, 2013
Publication Date
June 23, 2004
Subject Category
Computer Programming And Software
Meeting Information
Meeting: Second ACM-IEEE International Conference, San Diego Hilton
Location: San Diego, CA
Country: United States
Start Date: June 23, 2004
Distribution Limits
Public
Copyright
Other
Keywords
software reliability

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available