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

Filter
Doctoral Thesis

Search results