Contract-Based Integration of Cyber-Physical Analyses

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 14, 2014
Accession Number
ADA614288

Entities

People

  • David Garlan
  • Dionisio de Niz
  • Ivan Ruchkin
  • Sagar Chaki

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Complex Systems
  • Contracts
  • Cyber-Physical Systems
  • Engineering
  • Frequency
  • Guarantees
  • Information Security
  • Language
  • Materials
  • Scheduling (Production)
  • Security
  • Software Development
  • Specifications
  • Universities
  • Verification

Technology Areas

  • Cyber