RVS-Bk-11-01

Safety of Computer-Based Systems


(draft version from July 27, 2011)
(final version to be published by Springer-Verlag, Heidelberg and London)

Peter Ladkin, Technische Fakultät, Universität Bielefeld, ladkin@rvs.uni-bielefeld.de;
Bernd Sieker, Technische Fakultät, Universität Bielefeld, bsieker@rvs.uni-bielefeld.de;
Jan Sanders, Technische Fakultät, Universität Bielefeld, sanders@rvs.uni-bielefeld.de;
et.al.
This is a draft manuscript. All rights are reserved by the authors.