SDVS 1992 .

Abstract

This report presents an overview of the progress made by The Aerospace Corporation on the State Delta Verification System (SDVS) project for the fiscal year 1992. The work documented in this report was funded by the National Security Agency through Air Force Space and Missile Systems Center contract number H9823O-R292-999O.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1992
Accession Number
ADA291418

Entities

People

  • B. H. Levy

Organizations

  • The Aerospace Corporation

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Application Software
  • Computer Architecture
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Computing System Architectures
  • High Level Languages
  • Instruction Set Architecture
  • Language
  • Lisp Programming Language
  • National Security
  • Security
  • Standards
  • User Interface

Readers

  • Aerospace Engineering.
  • Database Systems and Applications
  • Technical Research and Report Writing.

Technology Areas

  • Space