Verifying DART Systems (DART)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 15, 2015
Accession Number
ADA614632

Entities

People

  • Sagar Chaki

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Abstracts
  • Area Coverage
  • Classification
  • Collisions
  • Contracts
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Guarantees
  • Information Operations
  • Machine Learning
  • Materials
  • Models
  • Software Development
  • United States
  • Universities
  • Verification