Combining Symbolic Runtime Enforcers for Cyber-Physical Systems

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2017
Accession Number
AD1087018

Entities

People

  • Björn Andersson
  • Dionisio de Niz
  • Sagar Chaki

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms

DTIC Thesaurus Topics

  • Algorithms
  • Coding
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Materials
  • Patents
  • Software Development
  • Three Dimensional
  • Trademarks
  • Universities

Technology Areas

  • Cyber