This is an archived page and is no longer updated.
Current content of Prof. Ladkin's research group is available at https://rvs-bi.de/

Computer Safety

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.