Specification and Modelling of Software Systems
Language
Language
English
Contact
Search
Menu
English
Deutsch
Back
Main Menu
Teaching
Open Page "Teaching"
Courses
Open Page "Courses"
Group Seminar
WS 2020/21
SS 2020
WS 2019/20
SS 2019
WS 2018/19
SS 2018
WS 2017/18
Student Projects
Open Page "Student Projects"
Bachelor/Master Thesis
Research
Open Page "Research"
Research projects
Open Page "Research projects"
Validation of Software Transactional Memory
Verification of service compositions (CRC 901, Subproject B3)
Proof-Carrying Services (CRC 901, Subproject B4)
Cooperative Software Verification
Team
Open Page "Team"
Group
Open Page "Group"
People
Open Jobs
Where to find us
Additional
Open Page "Additional"
Photos
Faculty
Open Page "Faculty"
Faculty
Open Page "Faculty"
Faculty for Electrical Engineering, Computer Science, and Mathematics
Department of Electrical Engineering
Department of Computer Science
Department of Mathematics
Computer Science
Specification and Modelling of Software Systems
Teaching
Courses