icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
Lee Lucas (Naval Weapons Center)
Lee Lucas (Naval Weapons Center)
Naval Weapons Center
All
Generic Avionics Software Specification
December 1, 1990
•
Technical Report
By
Doug Locke
,
Lee Lucas (Naval Weapons Center)
,
John B. Goodenough