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.

Note: the entries in this bibliography were last updated in 1994.
Comments are welcome to Jonathan Bowen.

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 and the Safety-Critical Systems Bibliography in The Collection of Computer Science Bibliographies.

See also system safety and reliability books from Amazon.

Maintained by Jonathan Bowen.
This page uses htgrep for searching the bibliography.