Applications of the Theory of Distributed and Real Time Systems to the Development of Large-Scale Timing Based Systems.

Abstract

The R&D Status Report covers: (1) Modelling and verification tools; (2) Applications; and (3) Algorithms and impossibility results.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1997
Accession Number
ADA331549

Entities

People

  • Nancy Lynch

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Air Platforms
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Aircrafts
  • Automata
  • Case Studies
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Consensus Algorithms
  • Control Systems
  • Distributed Computing
  • Electrical Engineering
  • Engineering
  • Language
  • Simulators
  • Students
  • Transportation
  • Vehicles

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Theoretical Analysis.