Lectures

Lectures

Lectures Held on a Regular Basis

Please click here to find the lectures that are held on a regular basis. This information can be used to create a study plan. However, this information is tentative, i.e. always check the lectures of the current and next semester to keep the study plan up to date.

Lectures of the Current Semester

Course details on 'Formal Methods in Software Engineering - ONLY ORAL EXAM'

Course Information

SemesterSoSe 2018
TypeLecture
ECTS-Credits6
ModuleModel Checking
Linkextenal link to the course
Start Dateonly exam

Course Modes

Timetable

TimeRoom
only examonly exam

Lecturers and Assistants

LecturersAssistants
Prof. Dr. Greenyer, Joel (Hannover)

Available Course Modes

In the following document you can get an overview about the available course modes that are offered in the ITIS Master's program: Course Modes