David von Oheimb
: Lehre
Gastvortrag ``Formal security analysis and certification in industry, at the example of an AADS''
im Rahmen der
Vorlesung ``Security Engineering''
von Ricarda Weber an der TU München im Sommersemester 2009
Gastvortrag ``Formal security analysis and certification in industry, at the example of an AADS''
im Rahmen der
Vorlesung ``Security Engineering''
von Ricarda Weber an der TU München im Sommersemester 2008
Vorlesung ``Formale Sicherheitsanalyse''
an der TU München im Wintersemester 2005/06
Vorlesung ``Formale Sicherheitsmodellierung''
an der LMU München im Sommersemester 2005
Skript zum Java-Kurs
an der TU München vom Oktober 1998
URL: http://ddvo.net/teach/index.html, Last modified: Fri Jun 5 19:42:05 CEST 2009