direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Projekte

Laufende Projekte

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

Abgeschlossene Projekte

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

Stellenausschreibung

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008