Detailseite
Office National d'Etudes et Recherches Aérospatiales (ONERA)
- Sachbeihilfen
-
laufende Projekte
-
Interferenzen in Entwurfsmethoden von hoch performanten Multi-Core Plattformen(Antragstellerinnen / Antragsteller Castrillon-Mazo, Jeronimo ; Saidi, Ph.D., Selma )
-
abgeschlossene Projekte
-
RT-proofs: Formale Beweise für Echtzeitsysteme(Antragsteller Brandenburg, Ph.D., Björn ; Ernst, Rolf )
-
laufende Projekte
