1
Published 1993
Springer London
Table of Contents: ... for European Space Agency Space Programmes -- The Swedish State Railways’ Experience with n-Version Programmed...

2
Published 2003
Springer London
Table of Contents: ... -- Application and Development of Standards -- The Application of BS IEC 61508 to Legacy Programmable Electronic...

3
Published 1994
Springer London
...The programme for the Second Safety-critical Systems Symposium was planned to examine the various...

4
Published 1995
Springer London
Table of Contents: ... Software -- Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systems...