Dr. Henrik Bohnenkamp

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Lehr- und Forschungsgebiet Informatik II
- 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