Person:
Zeige 1 bis 7 von 7 Ergebnissen
Model-Checking von Navigationslogiken (MoNaLog) Laufzeit: 01.06.2020 - 31.05.2023 | 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2014 - 30.06.2018 | 3. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster | |
Laufzeit: 01.12.2012 - 31.12.2015 | 2. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2012 - 30.09.2015 | 2. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster | |
SPP 1496 - Teilprojekt: Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (IFC for Mobile Components) Laufzeit: 01.10.2010 - 30.09.2013 | 1. Förderperiode Gefördert durch: DFG - Schwerpunktprogramm Art des Projekts: Teilprojekt in DFG-Verbund koordiniert außerhalb der Universität Münster | |
Laufzeit: 20.09.2007 - 30.11.2012 | 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt | |
Laufzeit: 01.01.2007 - 31.12.2008 Gefördert durch: Deutscher Akademischer Austauschdienst Art des Projekts: Beteiligung in sonstigen Verbundvorhaben |