Achieving Safety and Reliability with Computer Systems
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Netherlands

9789401080507, 9789400934610
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Malpas — Verification of a Safety Critical System

1987 ◽  
pp. 44-58 ◽  
Author(s):  
J. T. Webb ◽  
D. Mannering
Keyword(s):  
Critical System ◽  
Safety Critical ◽  
Safety Critical System

Highly Reliable Microcomputer Systems for Railway Control

1987 ◽  
pp. 182-188 ◽  
Author(s):  
L. Cegłowski ◽  
A. Lewiński

Statistical Methods for Software Reliability Assessment, Past, Present and Future

1987 ◽  
pp. 131-140 ◽  
Author(s):  
A. Veevers ◽  
E. Petrova ◽  
A. C. Marshall
Keyword(s):  
Statistical Methods ◽  
Software Reliability ◽  
Reliability Assessment

A Strategy for the Development of Safety Critical Software

1987 ◽  
pp. 1-13 ◽  
Author(s):  
J. Y. Bromell ◽  
S. J. Sadler
Keyword(s):  
Safety Critical

Stem — A Project on Software Test and Evaluation Methods

1987 ◽  
pp. 100-117 ◽  
Author(s):  
P. G. Bishop ◽  
D. G. Esp ◽  
F. D. Pullen ◽  
M. Barnes ◽  
P. Humphreys ◽  
...  
Keyword(s):  
Evaluation Methods ◽  
Software Test ◽  
Test And Evaluation

Verification — The Practical Problems

1987 ◽  
pp. 89-99 ◽  
Author(s):  
B. P. Phillips ◽  
S. G. Howe

Designing for Safety Using Ada Packages

1987 ◽  
pp. 29-43 ◽  
Author(s):  
I. C. Pyle

Fail-Safe Software — Some Principles and a Case Study

1987 ◽  
pp. 76-88
Author(s):  
Wolfgang D. Ehrenberger
Keyword(s):  
Fail Safe
Load More ...
Sign in / Sign up

Export Citation Format

Share Document