H. J. Holberg

Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz

M. Eckrich, Udo Brockmeyer, H. J. Holberg, 2003 .