Master

Fallstudie zur professionellen Produktentwicklung: GreenNav Carsharing and Intermodality

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

René Schönfelder

Modul:

CS5700

Umwandlung: 2-Wege Alternierende 3-Paritätsautomaten in Nicht-deterministische Büchi-Automaten

for Degree:

Contact Person:

Programmiersprachen und Typsysteme

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS3052

Fallstudie: Runtime Verification und Abstraktion

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Franziska Kühn , Daniel Thoma

Modul:

CS5700, Teil 2

ISP Oberseminar

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

ISP OS

Softwarekonstruktion

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Franziska Kühn

Modul:

CS4120

Development of a Web Application for Smart Car Services

for Degree:

Fallstudie: Rotationsplanung

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Claudia Fischer

Modul:

CS5700 Teil 2

Contraction Hierarchies for State-Based Routing

for Degree:

Seminar Formal Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , Daniel Thoma

Modul:

CS3702,

CS5840,

CS5480,

CS5015,

CS5191

Pages