Master

Dreiwertige Timed-LTL-Semantik

for Degree:

Contact Person:

Erstellen einer Bibliothek zur Echtzeitdatenerfassung auf einem Einplatinen-Computer

for Degree:

Contact Person:

Model Checking (WS 2014/15)

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Grigory Markin , Jannis Harder

Modul:

CS4138,

CS4138SJ14,

CS4138 TSJ14,

CS4507

Praktika und Fallstudien am ISP im WS 14/15

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Martin Blankenburg , Sebastian Hungerecker , Torben Scheffel , Malte Schmitz

Modul:

CS5700,

CS4520,

CS5490(SJ14),

CS5198,

CS3701(SJ14),

CS3701,

CS5990,

CS3990

Multivariate Datenanalyse gasartabhängiger Flowmesssignale zur Gasartbestimmung

for Degree:

Contact Person:

Fallstudie zur professionellen Produktentwicklung: Logistik

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Dr. rer. nat. Annette Stümpel

Modul:

CS5700, Teil 2

Spezifikation und Modellierung (4 ECTS)

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS4020

Distributed Runtime Verification on Embedded Systems

for Degree:

Contact Person:

Strömungsvisualisierung bei Beatmungszubehör

for Degree:

Contact Person:

Software Reliability

Lecturer:

Prof. Dr. Martin Leucker

Modul:

Baltic Summer School 2014

Pages