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

  • Könighofer, Robert (Teilnehmer (Co-Investigator))
  • Hofferek, Georg (Teilnehmer (Co-Investigator))
  • Greimel, Karin (Teilnehmer (Co-Investigator))
  • Bloem, Roderick (Projektleiter (Principal Investigator))

Projekt: Forschungsprojekt

Suchergebnisse