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

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems using Network Invariants
Zitatschlüssel Goethel2010a
Autor Thomas Göthel and Sabine Glesner
Buchtitel Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods
Seiten 310–314
Jahr 2010
ISBN 978-0-7695-4153-2
DOI http://doi.ieeecomputersociety.org/10.1109/SEFM.2010.38
Verlag 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