Jump to navigation

Search form

Search

My account
Impressum

University of Lübeck

Institute for Software Engineering

and Programming Languages

You are here

Home ›

Master

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

StartUp und New Business Development

Lecturer:

Raimund Mildner

Modul:

PS5830

Pages

« first
‹ previous
…
3
4
5
6
7
8
9
10
11
next ›
last »

News
Research
Teaching
- Courses
- Theses
  - FAQ
  - Templates
Staff
Contact

© ISP - Institute for Software Engineering and Programming Languages 1996-2019