direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Björn Bartels

Lupe [1]

Email: bjoern.bartels(at)tu-berlin.de

Areas of Interest

  • Hoare Calculi
  • Process Algebras
  • Interactive Theorem Proving
  • Verification of Real-Time Systems
  • VATES [2]
  • Teaching [3]
  • Projects [4]
  • Publications [5]

[6]

Postanschrift

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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008