NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's CompanionThis volume presents technical issues involved in applying mathematical techniques known as Formal Methods to specify and analytically verify aerospace and avionics software systems.
Document ID
20060035409
Acquisition Source
Jet Propulsion Laboratory
Document Type
Preprint (Draft being sent to journal)
External Source(s)
hdl:2014/22415
Authors
Kelly, John C.
Date Acquired
August 23, 2013
Publication Date
July 14, 1997
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
mathematical techniques aerospace avionics software

Available Downloads

There are no available downloads for this record.

Related Records

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