Safety-Critical Systems bibliography - search

A safety-critical systems bibliography is available in BibTeX source format for use with the LaTeX document preparation system if desired. It may be searched using the box below if your WWW client supports forms.

Note: the entries in this bibliography were last updated in 1994.
Comments are welcome to J.P.Bowen@reading.ac.uk.

See also the searchable Z bibliography.

Provide a Perl regular expression as a search pattern for the bibliography.

Most of this bibliography was originally prepared for the following survey:

Safety-Critical Systems, Formal Methods and Standards, Jonathan Bowen and Victoria Stavridou (University of London). IEE/BCS Software Engineering Journal, 8(4), pp 189-209, July 1993.
Winner of the IEE Charles Babbage Premium award, 1994.
Other versions issued as a Oxford University Computing Laboratory Technical Report PRG-TR-5-92, and Chapter 1 in Towards Verified Systems.

The entire BibTeX bibliography may be downloaded if desired.

Alternatively, search for publications on safety-critical systems and see the Dependability References Database in The Collection of Computer Science Bibliographies.

See also system safety and reliability books from Amazon.

Maintained by Jonathan Bowen as part of the OUCL archive.
This page uses htgrep v1.6 for searching the bibliography.

archive-management@comlab.ox.ac.uk