JPL Technical Report Server

Experiences with the Application of Formal Methods to a High Criticality Space Application

Show simple item record

dc.contributor.author Johnson, S. C. en_US
dc.contributor.author Kelly, J. C. en_US
dc.contributor.author Fridge, E. en_US
dc.contributor.author Robinson, A. en_US
dc.date.accessioned 2004-10-06T05:29:28Z
dc.date.available 2004-10-06T05:29:28Z
dc.date.issued 1993-12 en_US
dc.identifier.citation NASA-Goddard, Maryland, USA en_US
dc.identifier.clearanceno 93-1725 en_US
dc.identifier.uri http://hdl.handle.net/2014/35993
dc.format.extent 182379 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other software quality complex applications critical software subsystems en_US
dc.title Experiences with the Application of Formal Methods to a High Criticality Space Application en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account