Levent Ergün
Entwicklung einer Methodik für den automatisierten Sicherheitsnachweis elektronischer Systeme