Formal Methods for Design & Verification

  • Jacobs, Swen (Co-Investigator (CoI))
  • Bloem, Roderick (Co-Investigator (CoI))
  • Könighofer, Robert (Co-Investigator (CoI))
  • Könighofer, Bettina (Co-Investigator (CoI))
  • Khalimov, Ayrat (Co-Investigator (CoI))
  • Hofferek, Georg (Co-Investigator (CoI))
  • Braud-Santoni, Nicolas (Co-Investigator (CoI))

Project: Research area

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.

Computer Science