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 01.09.2011
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang