Component Specifications for Safety: Bridging a Critical Gap

Abstract

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2020
Accession Number
AD1116751

Entities

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Computing-Related Activities
  • Contract Administration
  • Contracts
  • Copyrights
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Intellectual Property
  • Law
  • Materials
  • National Governments
  • Patents
  • Schools
  • Software Development
  • Specifications
  • Standards
  • Trademarks
  • United States Government
  • Universities

Fields of Study

  • Computer science
  • Physics