Analysis Contracts for Cyber-Physical Systems

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 2014
Accession Number
ADA611045

Entities

People

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

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Cyber
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Computer Science
  • Contracts
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Frequency
  • Guarantees
  • Information Operations
  • Language
  • Materials
  • Renewable Energy
  • Scheduling (Production)
  • Security
  • Software Development
  • Universities
  • Verification

Technology Areas

  • Cyber