EU - Prosyd - Property-Based System Design

  • Pill, Ingo Hans (Co-Investigator (CoI))
  • Staber, Stefan Simon (Co-Investigator (CoI))
  • Griesmayer, Andreas (Co-Investigator (CoI))
  • Jobstmann, Barbara (Co-Investigator (CoI))
  • Bloem, Roderick (Principal Investigator (PI))

Project: Research project

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.

Engineering

Computer Science