Current courses
Title | Type |
---|---|
Bachelor's Project Software and Systems Engineering | Project |
Master's Project Software and Systems Engineering | Project |
Advanced Verification of Software and Systems | Lecture |
Advanced Verification of Software and Systems (Exercise) | Exercise |
Verification of Cyber-Physical Systems | Directed Studies |
Verification of Cyber-Physical Systems (Exercise) | Exercise |
Soft Meeting AG Leue (intern) | internal event |
Systems Specification Using TLA+ | Directed Studies |
Systems Specification Using TLA+ (Exercise) | Exercise |
Forschungsseminar Software and Systems Engineering | internal event |