Detailseite
Institution
Chinese Academy of Sciences (CAS)
Institute of Software
Adresse
South Fourth Street, 4
Beijing 100190
China
Beijing 100190
- Sachbeihilfen
-
abgeschlossene Projekte
-
-
RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)(Antragstellerinnen / Antragsteller Baier, Christel ; Hermanns, Holger ; Siegle, Markus ; Ábrahám, Erika )
-
-
abgeschlossene Projekte
