EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

  • K├Ânighofer, Robert (Co-Investigator (CoI))
  • Hofferek, Georg (Co-Investigator (CoI))
  • Greimel, Karin (Co-Investigator (CoI))
  • Bloem, Roderick (Principal Investigator (PI))

Project: Research project


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