Search Results - Knight, John C.
- Showing 1 - 20 results of 23
- Go to Next Page
-
1
A second generation experiment in fault-tolerant software annual report, Grant no. NAS-1-511 / by Knight, John C.
Published 1986Call Number: Loading…
Located: Loading…Government Document Book Loading… -
2
The implementation and use of Ada on distributed systems with high reliability requirements an annual report, grant no. NAG-1-260 / by Knight, John C.
Published 1986Call Number: Loading…
Located: Loading…Government Document Book Loading… -
3
Pascal/48 reference manual by Knight, John C.
Published 1984Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
4
Development of a software safety process and a case study of its use annual progress report / submitted by John C. Knight. by Knight, John C.
Published 1993Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
5
Development and validation of techniques for improving software dependability by Knight, John C.
Published 1992Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
6
A research program in empirical computer science : a final report, November 22, 1989 - November 21, 1990 / by Knight, John C.
Published 1991Call Number: Loading…Online Access
Located: Loading…
Government Document eBook -
7
Software fault tolerance using data diversity an annual progress report, April 1, 1990 - March 31, 1991 / by Knight, John C.
Published 1991Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
8
The implementation and use of Ada on distributed systems with high reliability requirements final report / by Knight, John C.
Published 1984Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
9
The implementation and use of Ada on distributed systems with high reliability requirements annual progress report / by Knight, John C.
Published 1985Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
10
The implementation and use of Ada on distributed systems with high reliability requirements semi-annual report, grant no. NAG-1-206, March 5, 1982 - February 14, 1988 / by Knight, John C.
Published 1987Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
11
The implementation and use of Ada on distributed systems with high reliability requirements semi-annual progress report / by Knight, John C.
Published 1985Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
12
The implementation and use of Ada on distributed systems with high reliability requirements semi-annual progress report, March 5, 1982-December 31, 1986 / by Knight, John C.
Published 1986Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
13
A second generation experiment in fault-tolerant software semi-annual progress report, September 1, 1984-December 31, 1986 / by Knight, John C.
Published 1986Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
14
Detection of faults and software reliability analysis annual progress report, award no. NAG-1-605 / by Knight, John C.
Published 1986Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
15
Second generation experiments in fault tolerant software by Knight, John C.
Published 1987Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
16
The implementation and use of Ada on distributed systems with high reliability requirements an annual report, grant no. NAG-1-260, March 5, 1982 - December 31, 1986 / by Knight, John C.
Published 1987Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
17
Detection of faults and software reliability analysis by Knight, John C.
Published 1987Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
18
Detection of faults and software reliability analysis semi-annual progress report, NASA award no. NAG-1-605, July 1, 1985 - June 30, 1987 / by Knight, John C.
Published 1987Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
19
A research program in empirical computer science : a final report, November 22, 1989 - November 21, 1990 / by Knight, John C.
Published 1991Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading… -
20
Development of a software safety process and a case study of its use annual progress report, August 1, 1995 - July 31, 1996 / submitted by J.C. Knight. by Knight, John C.
Published 1996Call Number: Loading…
Located: Loading…Government Document Microfilm Book Loading…
Search Tools:
RSS Feed
–
Save Search
Related Subjects
Fault tolerance
Software engineering
Computer programming
Distributed processing
Ada (Programming language)
Failure analysis
Assurance
Electronic data processing
Applications programs (Computers)
Architecture (Computers)
Computer science
Embedded computer systems
Flight characteristics
Measuring instruments
Operating systems (Computers)
Parallel processing (Computer processing)
Program verification (Computers)
Research
Self tests
Software reliability
Ada (Computer program language)
Aerospace systems
Air traffic control
Aircraft control
Argument
Asynchronous transfer mode
Bibliographies
Case histories
Certification
Computer Systems