Accession Number:

AD1087018

Title:

Combining Symbolic Runtime Enforcers for Cyber-Physical Systems

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Report Date:

2017-01-01

Pagination or Media Count:

23.0

Abstract:

Subject Categories:

  • Numerical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE