direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

[1]

News

Übersicht Veranstaltungen im Sommersemester 2022 jetzt online

Ab sofort finden Sie hier [2]eine Übersicht über unsere Veranstaltungen im kommenden Sommersemester.

Forschungsschwerpunkte

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

Aktuelle Veröffentlichungen

Automatic Validation of Infinite Real-Time Systems
Zitatschlüssel Goethel2013
Autor Thomas Göthel and Sabine Glesner
Buchtitel Proceedings FormaliSE
Seiten 57–63
Jahr 2013
DOI 10.1109/FormaliSE.2013.6612278
Herausgeber IEEE
Link zur Originalpublikation [3] Download Bibtex Eintrag [4]

Prof. Dr. Sabine Glesner

Sekretariat

Johanna Bohlen
Raum TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866
E-Mail-Anfrage [6]
Öffnungszeiten:
Mo, Di, Mi, Do
10:30 - 12:30 Uhr

Postanschrift

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008