Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Chinese Academy of Sciences (CAS)
Institute of Software

Address South Fourth Street, 4
Beijing 100190
China

Beijing 100190

Projects

Research Grants
- Completed projects
  - Detecting Anomalies in Reactive Systems
    (Applicant Zeller, Ph.D., Andreas )
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
    (Applicants Baier, Christel ; Hermanns, Holger ; Siegle, Markus ; Ábrahám, Erika )

© 2024 DFG Disclaimer / Copyright / Privacy Policy