Deutsch
Index A-Z
Desktop
Data Privacy
Software and Embedded Systems Engineering
Björn Bartels
Page Content
to Navigation
Dr.-Ing. Björn Bartels
© privat
Email:
bjoern.bartels(at)tu-berlin.de
Areas of Interest
Hoare Calculi
Process Algebras
Interactive Theorem Proving
Verification of Real-Time Systems
VATES
Teaching
Projects
Publications