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

• Subject Area: Theoretical Computer Science
• Term: from 2007 to 2008
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5485702

No abstract available

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 627: Spatial World Models for Mobile Context-Aware Applications
• Applicant Institution: Universität Stuttgart
• Project Head: Professor Dr. Javier Esparza