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

Kelly, John C.

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