Accession Number : ADA955477

Title :   Implementation of Reliable Software Systems.

Descriptive Note : Final technical rept.,

Corporate Author : STANFORD UNIV CALIF DIGITAL SYSTEMS LAB

Personal Author(s) : Bredt, Thomas H.

Report Date : 28 JAN 1977

Pagination or Media Count : 9

Descriptors :   *COMPUTER PROGRAMS, *DIGITAL COMPUTERS, COMPUTER PROGRAMMING, PROGRAMMING LANGUAGES, SYSTEMS ENGINEERING, COMPUTER PROGRAM VERIFICATION, DATA PROCESSING, REAL TIME, FAULT TOLERANT COMPUTING, CONTROL SYSTEMS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE