Assuring Cyber-Physical Systems (ACPS)

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).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2019
Accession Number
AD1088928

Entities

People

  • Gabriel A. Moreno

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Actuators
  • Copyrights
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Frequency
  • Governments
  • Guarantees
  • Materials
  • Sampling
  • Software Development
  • Universities
  • Verification

Fields of Study

  • Physics

Readers

  • Software Engineering.

Technology Areas

  • Cyber