Bachelor

ISP Oberseminar

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

ISP OS

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

Parsen von Anweisungslisten

for Degree:

Contact Person:

4-valued finite trace semantics for TLTL

for Degree:

Model Checking

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4138

Präsentieren und Dokumentieren (PundD)

Lecturer:

PD Dr. Gerhard Buntrock

Modul:

PS3700

Software Engineering (Sweng) WS 2013/2014

Lecturer:

PD Dr. Gerhard Buntrock

Modul:

CS3200

SALTXT: An Xtext-based Extendable Temporal Logic Compiler

for Degree:

Kommunikationsorientierte Entwicklung von Poker im Vergleich zur objektorientierten Realisierung

for Degree:

Contact Person:

Pages