Understanding Temporal Logic. Introducing Coherent Object System Architecture (COSA)

Document Details

Document Type: Technical Report
Publication Date: Apr 01, 2010
Accession Number: ADA558344

Entities

People

Gordon Morrison

Tags

DTIC Thesaurus Topics

Abstracts
Calculators
Central Processing Units
Control Systems
Debugging
Engineering
Engineers
Governments
Information Operations
Language
Software Development
Specifications
Standards
Transitions