Master courses

 

MASTER | AS-2023 | UE-SIN.08502
Automata on infinite structures

Wednesday 09:15 - 12:00
Ultes-Nitsche Ulrich
English

 

MASTER | SS-2024 | UE-SIN.08808
Seminar foundations of dependable systems II

Ultes-Nitsche Ulrich
English

 

MASTER | AS-2023 | UE-SIN.07817
Seminar foundations of dependable systems I

Ultes-Nitsche Ulrich
English

 

MASTER | SP-2024 | UE-SIN.07610
Verification of cyber-physical systems

Wednesday 09:15 - 12:00
Ultes-Nitsche Ulrich
English

Complete course catalog of the Department of Informatics