Formal Modeling and Assurance of Cyber-Physical Systems

Abstract

Assuring Cyber-Physical Systems

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 03, 2023
Accession Number
AD1192541

Entities

People

  • Dionisio de Niz
  • Gabriel A. Moreno
  • Jérôme Hugues
  • Sam Procter

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Actuators
  • Algorithms
  • Computations
  • Computer Access Control
  • Computer Programming
  • Contracts
  • Copyrights
  • Cyber-Physical Systems
  • Cyberattacks
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Kernels (Operating System)
  • Language
  • Materials
  • Patents
  • Semantics
  • Software Development
  • Trademarks
  • Universities
  • Verification

Fields of Study

  • Physics

Technology Areas

  • Cyber