Spezifikation und Modellierung von Softwaresystemen
Sprache
Sprache
Deutsch
Kontakt
Suche
Menü
English
Deutsch
Zurück
Hauptmenü
Teaching
Seite "Teaching" öffnen
Courses
Seite "Courses" öffnen
Group Seminar
WS 2020/21
SS 2020
WS 2019/20
SS 2019
WS 2018/19
SS 2018
WS 2017/18
Student Projects
Seite "Student Projects" öffnen
Bachelor/Master Thesis
Research
Seite "Research" öffnen
Research projects
Seite "Research projects" öffnen
Validation of Software Transactional Memory
Verification of service compositions (CRC 901, Subproject B3)
Proof-Carrying Services (CRC 901, Subproject B4)
Cooperative Software Verification
Team
Seite "Team" öffnen
Group
Seite "Group" öffnen
People
Open Jobs
Where to find us
Additional
Seite "Additional" öffnen
Photos
Faculty
Seite "Faculty" öffnen
Faculty
Seite "Faculty" öffnen
Faculty for Electrical Engineering, Computer Science, and Mathematics
Department of Electrical Engineering
Department of Computer Science
Department of Mathematics
Informatik
Specification and Modelling of Software Systems
Teaching
WS 2018/19
Model Checking (in English)
Dates
Dates
All important dates will be announced here.
