Project Details
Projekt
Validation of Stochastic Systems 2
Applicant
Professor Dr.-Ing. Holger Hermanns
Subject Area
Software Engineering and Programming Languages
Term
from 2005 to 2008
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5444054
No abstract available
DFG Programme
Research Grants
