Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme

• Applicant: Professorin Dr. Mila Majster-Cederbaum
• Subject Area: Theoretical Computer Science
• Term: from 2002 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5364713

..Ziel ist: 1. Die Entwicklung und Untersuchung des Konzeptes von Aktionsverfeinerung in verschiedenen quantitativen Erweiterungen von Modellen nebenläufiger/reaktiver Systeme. 2. Aufbauend auf den theoretischen Ergebnissen das Konzept der Aktionsverfeinerung zu dem, UML Beschreibungstechniken hinzuzufügen und theoretisch zu untermauern.

• DFG Programme: Research Grants