Constituents of modern system-safety thinking : proceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005 /

Practical elements of safety : proceedings of the twelfth Safety-Critical Systems Symposium, Birmingham, UK, 17-19 February 2004 /
Published: (2004)

Aspects of safety management : proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK, 2001 /
Published: (2001)

Towards system safety : proceedings of the seventh Safety-Critical Systems Symposium, Huntingdon, 1999 /
Published: (1999)

Industrial perspectives of safety-critical systems : proceedings of the sixth Safety-Critical Systems Symposium, Birmingham, 1998 /
Published: (1998)

Developments in risk-based approaches to safety : proceedings of the fourteenth Safety-critical Systems Symposium, Bristol, UK, 7-9 February 2006 /
Published: (2006)

Safer systems : proceedings of the Fifth Safety-Critical Systems Symposium, Brighton 1997 /
Published: (1997)

Reliable software technologies--Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 : proceedings /
Published: (2008)

Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings /
Published: (2009)

Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings /
Published: (2007)

Current issues in safety-critical systems : proceedings of the eleventh Safety-Critical Systems Symposium, Bristol, UK, 4-6 February 2003 /
Published: (2003)

Technology and assessment of safety-critical systems : proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8-10, February 1994 /
Published: (1994)

Directions in safety-critical systems : proceedings of the First Safety-critical Systems Symposium, the Watershed Media Centre, Bristol, 9-11 February 1993 /
Published: (1993)

Safety-critical systems : current issues, techniques, and standards /
Published: (1993)

Reliable software technologies--Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011 : proceedings /
Published: (2011)

Reliable software technologies - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings /
Published: (2010)

Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings /
Published: (2006)

Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle on Tyne, UK, September 22-25, 2008 : proceedings /
Published: (2008)

Safety-critical computer systems /
by: Storey, Neil
Published: (1996)

Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings /
Published: (2010)

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings /
Published: (2009)

Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings /
Published: (2007)

Safety of computer control systems 1988 (Safecomp '88) : safety related computers in an expanding market : proceedings of the IFAC symposium, Fulda, FRG, 9-11 November 1988 /
Published: (1988)

Software engineering for resilient systems : third international Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, proceedings /
Published: (2011)

Safety of computer control systems, 1990 (SAFECOMP '90) : safety, security, and reliability related computers for the 1990s : proceedings of the IFAC/EWICS/SARS Symposium, Gatwick, UK, 30 October-2 November 1990 /
Published: (1990)

Safety and reliability of software based systems : twelfth annual CSR workshop (Bruges 12-15 September 1995) /
Published: (1997)

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers /
Published: (2007)

Safety of computer control systems 1985 (Safecomp '85) : achieving safe real time computer systems : proceedings of the Fourth IFAC Workshop, Como, Italy, 1-3 October 1985 /
Published: (1985)

Safety of computer control systems 1989 (SAFECOMP '89) : proceedings of the IFAC/IFIP Workshop, Vienna, Austria, 5-7 December 1989 /
Published: (1989)

Reliable software technology : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings /
Published: (2005)

Control systems safety evaluation and reliability /
by: Goble, William M.
Published: (2010)

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings /
Published: (2011)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
Published: (2009)

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
Published: (2008)

Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /
Published: (2009)

Achieving safety and reliability with computer systems /
Published: (1987)

Rigorous development of complex fault-tolerant systems /
Published: (2006)