Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professorin Dr. Marie-Christine Jakobs

Address Ludwig-Maximilians-Universität München (LMU)
Institut für Informatik
Software and Computational Systems Lab
Oettingenstraße 67
80538 München

Projects

As Applicant
- Current projects
  - ReVeriX: Efficiently Reverifying Modified Programs Despite of Switching the Verification Approach (Research Grants)
As Participating Researcher
- Current projects
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)

© 2024 DFG Disclaimer / Copyright / Privacy Policy