Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Dr. Hendrik Tews

Address Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Nöthnitzer Straße 46
01187 Dresden

Projects

As Applicant
- Completed projects
  - Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen (Research Grants)
As Participating Person
- Completed projects
  - Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy