Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Person
Professor Dr. Arnd Poetzsch-Heffter
Adresse
Es liegt keine aktuelle Dienstanschrift vor.
Projekte
Als Antragsteller
abgeschlossene Projekte
Semantische Kapselung und Nebenläufigkeitstransparenz in der objektorientierten Programmierung
(Sachbeihilfen)
Modular verification of security properties in actor implementations
(Schwerpunktprogramme)
Als Beteiligte Person
abgeschlossene Projekte
Robustheit gegenüber schwachen Speichermodellen
(Sachbeihilfen)
Zusatzinformationen
© 2024
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung