Untergeordnete Navigation

Presse berichtet über erfolgreiches ESA-Projekt

COMPASS-Projekt

Die Zeitschrift "Public Service Review: European Science and Technology" berichtet über das erfolgreiche COMPASS-Projekt des Lehrstuhls für Softwaremodellierung und Verifikation. Dieses wird von der Europäischen Raumfahrtagentur ESA finanziert und beschäftigt sich mit der toolgestützten Analyse sicherheitskritischer Soft- und Hardwaresysteme von Raumfahrzeugen.

Paper


30.06.2011, tno