Achieving Safety and Reliability with Computer Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_4 ◽

1987 ◽

pp. 44-58 ◽

Cited By ~ 1

Author(s):

J. T. Webb ◽

D. Mannering

Keyword(s):

Critical System ◽

Safety Critical ◽

Safety Critical System

Download Full-text

A Self-Checking Computer Module Based on the Viper Microprocessor — A Building Block for Reliable Systems

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_21 ◽

1987 ◽

pp. 248-260 ◽

Cited By ~ 3

Author(s):

M. P. Halbert

Keyword(s):

Building Block ◽

Reliable Systems

Download Full-text

Highly Reliable Microcomputer Systems for Railway Control

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_15 ◽

1987 ◽

pp. 182-188 ◽

Cited By ~ 1

Author(s):

L. Cegłowski ◽

A. Lewiński

Download Full-text

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

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_11 ◽

1987 ◽

pp. 131-140 ◽

Cited By ~ 2

Author(s):

A. Veevers ◽

E. Petrova ◽

A. C. Marshall

Keyword(s):

Statistical Methods ◽

Software Reliability ◽

Reliability Assessment

Download Full-text

A Strategy for the Development of Safety Critical Software

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_1 ◽

1987 ◽

pp. 1-13 ◽

Cited By ~ 2

Author(s):

J. Y. Bromell ◽

S. J. Sadler

Keyword(s):

Safety Critical

Download Full-text

Stem — A Project on Software Test and Evaluation Methods

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_9 ◽

1987 ◽

pp. 100-117 ◽

Cited By ~ 6

Author(s):

P. G. Bishop ◽

D. G. Esp ◽

F. D. Pullen ◽

M. Barnes ◽

P. Humphreys ◽

...

Keyword(s):

Evaluation Methods ◽

Software Test ◽

Test And Evaluation

Download Full-text

Verification — The Practical Problems

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_8 ◽

1987 ◽

pp. 89-99 ◽

Cited By ~ 2

Author(s):

B. P. Phillips ◽

S. G. Howe

Download Full-text

Designing for Safety Using Ada Packages

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_3 ◽

1987 ◽

pp. 29-43 ◽

Cited By ~ 1

Author(s):

I. C. Pyle

Download Full-text

The Development of Techniques for Safety and Reliability Assessment: Past, Present and Future

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_12 ◽

1987 ◽

pp. 141-151

Author(s):

C. J. Dale ◽

S. Foster

Keyword(s):

Reliability Assessment ◽

Safety And Reliability

Download Full-text

Fail-Safe Software — Some Principles and a Case Study

Achieving Safety and Reliability with Computer Systems ◽

10.1007/978-94-009-3461-0_7 ◽

1987 ◽

pp. 76-88

Author(s):

Wolfgang D. Ehrenberger

Keyword(s):

Fail Safe

Download Full-text

Achieving Safety and Reliability with Computer SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Malpas — Verification of a Safety Critical System

A Self-Checking Computer Module Based on the Viper Microprocessor — A Building Block for Reliable Systems

Highly Reliable Microcomputer Systems for Railway Control

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

A Strategy for the Development of Safety Critical Software

Stem — A Project on Software Test and Evaluation Methods

Verification — The Practical Problems

Designing for Safety Using Ada Packages

The Development of Techniques for Safety and Reliability Assessment: Past, Present and Future

Fail-Safe Software — Some Principles and a Case Study

Achieving Safety and Reliability with Computer Systems
Latest Publications