JPL Technical Report Server

Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion

Show simple item record

dc.contributor.author Kelly, John C. en_US
dc.date.accessioned 2004-09-26T01:07:50Z
dc.date.available 2004-09-26T01:07:50Z
dc.date.issued 1997-07-14 en_US
dc.identifier.citation en_US
dc.identifier.clearanceno 97-0902 en_US
dc.identifier.uri http://hdl.handle.net/2014/22415
dc.description.abstract This volume presents technical issues involved in applying mathematical techniques known as Formal Methods to specify and analytically verify aerospace and avionics software systems. en_US
dc.format.extent 8081016 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other mathematical techniques aerospace avionics software en_US
dc.title Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account