Summaries - Office of Research & Innovation
Research Summaries
Back Analysis of Formal Methods of Boeing MLS LAN (SNS)
Fiscal Year | 2008 |
Division | Graduate School of Operational & Information Sciences |
Department | Computer Science |
Investigator(s) | Dinolt, George W. |
Sponsor | Boeing Company (Other) |
Summary | So far NPS has supported and is collaborating with Boeing on the development of the processes and the interactions among Boeing, the evaluators and NSA. NPS has provided partial evaluation of the specifications and guidance on the development of further specifications. NPS and Boeing are in discussions with the evaluators on the test plan process. In addition, NPS has provided guidance on the development of the mappings between the specifications and the code. |
Keywords | |
Publications | Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal |
Data | Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal |