Accession Number:

ADA614288

Title:

Contract-Based Integration of Cyber-Physical Analyses

Descriptive Note:

Briefing charts

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST

Personal Author(s):

• Ruchkin, Ivan
• De Niz, Dionisio
• Chaki, Sagar
• Garlan, David

Report Date:

2014-10-14

Pagination or Media Count:

29.0

Abstract:

Descriptors:

• *VERIFICATION
• COMPUTER PROGRAMS
• COMPUTERS
• INTEGRATION
• SCHEDULING
• SPECIFICATIONS

Subject Categories:

• Computer Programming and Software
• Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE