Symbolic Assurance Refinement

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 05, 2023
Accession Number
AD1202685

Entities

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Actuators
  • Availability
  • Coding
  • Contracts
  • Copyrights
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Intellectual Property
  • Law
  • Materials
  • Patents
  • Resilience
  • Software Development
  • Trademarks
  • Universities
  • Verification