Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

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


Dr Robert Reicherdt

 

without photo


Member at SOAMED:

2013 - 2015

Advisor:

Prof. Glesner (TU Berlin)

Title of thesis:

"A Framework for the Automatic Verification of Discrete-Time MATLAB Simulink Models using Boogie"

Defended on: July 10, 2015

Homepage: robert_reicherdt