Validation of Stochastic Systems 2

• Antragsteller: Professor Dr.-Ing. Holger Hermanns
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2005 bis 2008
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5444054

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen