Accession Number:

AD1088928

Title:

Assuring Cyber-Physical Systems (ACPS)

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2019-01-01

Pagination or Media Count:

7.0

Abstract:

Contents include Assuring Cyber-Physical Systems ACPS Formal Verification of Cyber-Physical System FV-CPS Model-Based Engineering MBE Assuring Cyber-Physical Systems ACPS.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE