Dieter Hutter
Informatiker,
Hochschullehrer
Werke:
- 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