Formale Methoden für die Modellierung und Analyse von mobilen kontextbezogenen Systemen (A6)

• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2007 bis 2008
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5485702

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 627: Umgebungsmodelle für mobile kontextbezogene Systeme
• Antragstellende Institution: Universität Stuttgart
• Teilprojektleiter: Professor Dr. Javier Esparza