Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼
 

Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED

Dr Björn Bartels

 

without photo


Member of SOAMED:

2012 - 2014

Advisor:

Prof. Glesner (TU Berlin)

Title of thesis:

"A Mechanized Verification Environment for Real-Time Process Algebras and Low-Level Programming Languages"

Defended on: April 10, 2014

Homepage: bjoern_bartels