Accession Number:

AD1116751

Title:

Component Specifications for Safety: Bridging a Critical Gap

Descriptive Note:

[Technical Report, Briefing Charts]

Corporate Author:

Carnegie Mellon University

Personal Author(s):

Report Date:

2020-01-01

Pagination or Media Count:

2

Abstract:

Contents include Formal Methods - Usability - Component Specifications - Formality - System Assurance.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems

Distribution Statement:

[A, Approved For Public Release]