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

Search results