Safety and Reliability of Software Based Systems
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer London

9783540760344, 9781447109211

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Software Design-Faults Simulation

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_25 ◽

1997 ◽

pp. 389-418

Author(s):

Krassimir Djambazov ◽

Peter Popov

Keyword(s):

Software Design

Download Full-text

Safety Cases — How Did We Get Here?

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_2 ◽

1997 ◽

pp. 43-95 ◽

Author(s):

Roger Shaw

Keyword(s):

Download Full-text

A Comparison of Different Safety-Critical Approaches used in Industry

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_19 ◽

1997 ◽

pp. 323-327

Author(s):

Frédérique Vallée

Keyword(s):

Safety Critical ◽

Critical Approaches

Download Full-text

Applying the B-Method to Avionics Software: An Initial Report on the MIST Project

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_16 ◽

1997 ◽

pp. 288-304 ◽

Author(s):

Jonathan Draper

Keyword(s):

Initial Report ◽

Download Full-text

Software Based Systems Dependability Requirements in the Process Industries

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_15 ◽

1997 ◽

pp. 276-287

Author(s):

G. Picciolo

Keyword(s):

Process Industries

Download Full-text

The Safety of PES in the Offshore Industry

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_10 ◽

1997 ◽

pp. 201-216 ◽

Author(s):

Tony Barrell ◽

Tony Darlison

Keyword(s):

Offshore Industry

Download Full-text

Assuring Confidence in Pharmaceutical Software

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_7 ◽

1997 ◽

pp. 157-175

Author(s):

Guy Wingate ◽

Martin Smith ◽

Paul Lucas

Download Full-text

A Statistical and Automated Code-Based Fault-Tree Mitigation Framework for C++

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_27 ◽

1997 ◽

pp. 439-451

Author(s):

Jeffrey M. Voas ◽

Keith W. Miller

Keyword(s):

Download Full-text

Improving Reuse in Space (IRIS)

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_14 ◽

1997 ◽

pp. 265-275

Author(s):

Fernando Aldea ◽

Gabriel Sánchez

Download Full-text

Formal Methods and their Role in the Certification of Critical Systems

Safety and Reliability of Software Based Systems ◽

10.1007/978-1-4471-0921-1_1 ◽

1997 ◽

pp. 1-42 ◽

Author(s):

John Rushby

Keyword(s):

Formal Methods ◽

Critical Systems

Download Full-text