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

Detailseite

Person

Druckansicht

Dr. Hendrik Tews

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

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Verifikation quantitativer Eigenschaften eines Mikrokernbetriebssystems durch eine Kombination von probabilistischem Model Checking und interaktivem Theorembeweisen (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz