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 |