2 options
Formal methods case studies for DO-333 / Darren Cofer and Steven P. Miller.
- Format:
- Book
- Government document
- Author/Creator:
- Cofer, Darren, author.
- Miller, Steven P., author.
- Series:
- NASA contractor report ; NASA CR-218244.
- NASA-CR ; 2014-218244
- Language:
- English
- Physical Description:
- 1 online resource (198 pages) : illustrations.
- Place of Publication:
- Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, April 2014.
- Notes:
- Title from title screen (viewed Nov. 25, 2014).
- "April 2014."
- Includes bibliographical references (pages 173-174).
- OCLC:
- 896882371
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.