Introduction to Safety Critical Systems (bibtex)

by Pietrantuono, Roberto and Russo, Stefano

Reference:

Introduction to Safety Critical Systems (Pietrantuono, Roberto and Russo, Stefano), Chapter in Innovative Technologies for Dependable OTS-Based Critical Systems, Springer, 2013.

Bibtex Entry:

@InCollection{	  pietrantuono2013introduction,
  author	= {Pietrantuono, Roberto and Russo, Stefano},
  booktitle	= {Innovative Technologies for Dependable OTS-Based Critical
		  Systems},
  pages		= {17--27},
  publisher	= {Springer},
  title		= {Introduction to Safety Critical Systems},
  year		= {2013}
}