Dependability of Critical Computer Systems 1
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9789401071048, 9789400913578

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Guideline for the Design and Production of Hardware for Safety-Related Computer Systems

Dependability of Critical Computer Systems 1 ◽

10.1007/978-94-009-1357-8_4 ◽

1988 ◽

pp. 155-232

Author(s):

F. J. Redmill

Keyword(s):

Computer Systems ◽

Design And Production

Download Full-text

A Guideline for the Production of System requirements Specifications

Dependability of Critical Computer Systems 1 ◽

10.1007/978-94-009-1357-8_2 ◽

1988 ◽

pp. 71-111

Author(s):

F. J. Redmill

Keyword(s):

Requirements Specifications ◽

System Requirements

Download Full-text

Techniques for the Verification and Validation of Critical Software

Dependability of Critical Computer Systems 1 ◽

10.1007/978-94-009-1357-8_6 ◽

1988 ◽

pp. 251-278

Author(s):

F. J. Redmill

Keyword(s):

Verification And Validation

Download Full-text

A Guideline for the Verification and Validation of Critical Computer Systems

Dependability of Critical Computer Systems 1 ◽

10.1007/978-94-009-1357-8_5 ◽

1988 ◽

pp. 233-250

Author(s):

F. J. Redmill

Keyword(s):

Computer Systems ◽

Verification And Validation

Download Full-text

A Guideline for the Development of Critical Software

Dependability of Critical Computer Systems 1 ◽

10.1007/978-94-009-1357-8_3 ◽

1988 ◽

pp. 113-154

Author(s):

F. J. Redmill

Download Full-text

A Guideline for the Documentation of Critical Computer Systems

Dependability of Critical Computer Systems 1 ◽

10.1007/978-94-009-1357-8_1 ◽

1988 ◽

pp. 1-69

Author(s):

F. J. Redmill

Keyword(s):

Computer Systems

Download Full-text