direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Projekte

Laufende Projekte

  • VERAPRO - Vertraulichkeit für alle Programme [1]
  • VATES2 - Verification and Transformation of Embedded Systems [2]
  • ArtistDesign – Design for Embedded Systems [3]
  • Effektive Komplexität von Software-Modellen (ECoSMo) [4]
  • Korrekte Modelltransformationen (KorMoran)
    gefördert von der DFG [5]
  • Graduiertenkolleg: Serviceorientierte Architekturen zur Integration softwaregestützter Prozesse am Beispiel des Gesundheitswesens und der Medizintechnik (SOAMED) [6]
  • Reliable Embedded System design based on Co-verification in a Unified Environment (RESCUE) [7]

Abgeschlossene Projekte

  • Change Impact-Analysen für Software-Modelle (CISMo) [8]
  • Eliteförderprogramm [9]
  • ARTIST2 Network of Excellence on Embedded Systems Design [10]
  • Methoden der Modellqualitätsanalyse (MeMo) [11]
  • VATES - Verification and Transformation of Embedded Systems [12]
  • Aktionsplan Informatik
    gefördert von der DFG im Rahmen des Emmy Noether-Programms [13]

Stellenausschreibung

------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008