Teaching
Lectures |
Language |
WS |
SS |
|---|---|---|---|
| Advanced Seminar CPS | English | X | X |
| Control Theory | English | X | |
| Analysis and Control of Nonlinear Systems | English | X | |
| Formal Synthesis of Embedded Systems | English | X | |
| Formal Methods Laboratory | English | X | |
| Implementations of Correct-by-Construction Embedded Controllers | English | X |