Safety-Critical Software Development in C++.

Daniel Kstner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand

Browse the full SAFECOMP paper archive.