Certifying Auto-Generated Flight Code
Year: 2008
Type: article
Source: Formal Methods
Author: Ewen Denney
Institution: Ames Research Center
Language: English
Subfield: Safety, Risk, Reliability and Quality
Field: Engineering
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W807062927