Dein Suchergebnis zum Thema: Amazon

MPI für Softwaresysteme, Kaiserslautern | Max-Planck-Gesellschaft

https://www.mpg.de/914864/softwaresysteme-kaiserslautern?filter=yearbook

Das Max-Planck-Institut für Softwaresysteme (Standort Kaiserslautern) betreibt Grundlagenforschung, die sich unter anderem dem Sprachdesign, der Analyse, der Modellierung, Einführung und Auswertung von Softwaresystemen widmet. Spezielle Interessensgebiete umfassen die System-Programmierung, den Vergleich von dezentralen und Netzwerksystemen, von eingebetteten und autonomen Systemen ebenso wie Aspekte der formalen Modellierung, Analyse, Sicherheit und Stabilität von modernster Softwaretechnik.
9303-8500 rupak@mpi-sws.mpg.de mehr Aus dem MPI Amazon