Arbeitsgruppe Zuverlässige Systeme

Neuer Mitarbeiter in der AG ZS

26.06.2013

Wir begrüßen Thorsten Ehlers als neuen Mitarbeiter in unserer Arbeitsgruppe. Herr Ehlers wird sich im Rahmen des BMBF ARAMiS Projekts mit Verfahren zur Verifikation von Software für eingebettete Multicore-Systeme beschäftigen.