Master

StartUp und New Business Development

Lecturer:

Raimund Mildner

Modul:

PS5830

Spezifikation und Modellierung

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS4020

Fallstudie: Runtime Verification und Abstraktion

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Franziska Kühn , Daniel Thoma

Modul:

CS5700, Teil 1

Messung der gefühlten Ladezeit von Web-Seiten

for Degree:

Contact Person:

ISP Oberseminar

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

ISP OS

Software- und System-Testen

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4136

STL: Combining Stream-based and Temporal Logics

for Degree:

Runtime Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4137

Seminar Formal Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , Daniel Thoma

Modul:

CS3702,

CS5840,

CS5480,

CS5015,

CS5191

Programmiersprachen und Typsysteme

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS3052

Pages