Protecting the Dynamic Dispatch in C++ by Dependability Aspects

Christoph Borchert, Horst Schirmeier, Olaf Spinczyk. Protecting the Dynamic Dispatch in C++ by Dependability Aspects. In Ursula Goltz, Marcus A. Magnor, Hans-Jürgen Appelrath, Herbert K. Matthies, Wolf-Tilo Balke, Lars C. Wolf, editors, Informatik 2012, 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 16.-21.09.2012, Braunschweig. Volume 208 of LNI, pages 521-536, GI, 2012.

Bibliographies