John Rushby

Appears in Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, pp. 3--17. Chris Dale and Tom Anderson eds., Bristol UK, February 2010. Published by Springer.

Abstract

PDF

BibTeX Entry

@INPROCEEDINGS{Rushby:SSS10,
	AUTHOR = {John Rushby},
	TITLE = {Formalism in Safety Cases},
	BOOKTITLE = {Making Systems Safer: 
               Proceedings of the Eighteenth Safety-Critical Systems Symposium},
	YEAR = 2010,
	EDITOR = {Chris Dale and Tom Anderson},
	PUBLISHER = {Springer},
	ADDRESS = {Bristol, UK},
	MONTH = feb,
	PAGES = {3--17},
	NOTE = {Available at \url{http://www.csl.sri.com/users/rushby/papers/sss10.pdf}}
}