Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Dr. Henrik Bohnenkamp

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Forschungsgruppe Programmiersprachen und Verifikation
52056 Aachen

Projekte

Als Ehemaliger Antragsteller
- abgeschlossene Projekte
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS) (Sachbeihilfen) bis 4/2011

© 2026 DFG Kontakt / Impressum / Datenschutz