Dr. Henrik Bohnenkamp

Address Rheinisch-Westfälische Technische Hochschule Aachen
Lehr- und Forschungsgebiet Informatik II
- Programmiersprachen und Verifikation -
52056 Aachen

Projects

As Ehemaliger Antragsteller
- Completed projects
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS) (Research Grants) to 4/2011