TU Berlin

Software and Embedded Systems EngineeringSoftware and Embedded Systems Engineering

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

News

Übersicht Veranstaltungen im Wintersemester 2022/23 jetzt online

Ab sofort finden Sie unter "Studium und Lehre" eine Übersicht über unsere Veranstaltungen im Wintersemester.

Link

Forschungsschwerpunkte

  • Qualitätssicherung für eingebettete Systeme
  • Software-Engineering für eingebettete Systeme
  • Entwurf und Synthese eingebetteter Systeme

Aktuelle Veröffentlichungen

Björn Bartels and Nils Jähnig (2014). Mechanized, Compositional Verification of Low-Level Code. Lecture Notes in Computer Science 8430, 98-112.





Dirk Tetzlaff (2014). A Framework for Machine Learning based Mapping of Concurrent Applications to Parallel Architectures. Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe