TU BRAUNSCHWEIG

Forschung

Das Arbeitsgebiet des Instituts für Programmierung und Reaktive Systeme sind Methoden für die Spezifikation, den Entwurf, die Implementierung und die Validierung von Softwaresystemen, insbesondere für eingebettete Systeme.



  aktualisiert am 17.01.2018
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang