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: Foschungsprojekt

Fingerprint

Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.

Ingenieurwesen & Materialwissenschaft