Dieter Hutter
Informatiker,
Hochschullehrer
Hat mitgewirkt an:
-
Look both ways before crossing the street: combined safety and security analysis for autonomous vehicles
-
Security in pervasive computing : first international conference, Boppard, Germany, March 12 - 14, 2003 ; revised papers
-
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday ; [Festschrift]
-
Applied formal methods - FM trends 98 : proceedings