TU Berlin

Software and Embedded Systems EngineeringBjörn Bartels

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Dr.-Ing. Björn Bartels

Lupe

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

Arbeitsgebiete

  • Hoare-Kalküle
  • Interaktives Theorembeweisen
  • Prozessalgebren
  • Verifikation von Echtzeitsystemen

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe