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 |