TU Berlin

Software and Embedded Systems EngineeringBjörn Bartels

SESE-Logo in blau

Page Content

to Navigation

Dr.-Ing. Björn Bartels

Lupe

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

Areas of Interest

  • Hoare Calculi
  • Process Algebras
  • Interactive Theorem Proving
  • Verification of Real-Time Systems

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe