Fall 2014 SEI Research Review High Confidence Cyber Physical Systems

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 28, 2014
Accession Number
ADA613885

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy
  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Department Of Defense
  • Engineering
  • Guarantees
  • Image Processing
  • Integer Programming
  • Law
  • Linear Programming
  • Materials
  • Models
  • Probabilistic Models
  • Probability
  • Scheduling (Production)
  • Software Development
  • Universities
  • Verification

Technology Areas

  • Cyber