Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Dr. Henrik Bohnenkamp

Address Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Forschungsgruppe 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

© 2026 DFG Disclaimer / Copyright / Privacy Policy