Accession Number:

ADA614632

Title:

Verifying DART Systems (DART)

Descriptive Note:

Briefing charts

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST

Personal Author(s):

Report Date:

2015-01-15

Pagination or Media Count:

15.0

Abstract:

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE