General information
| Course name | Lecture: 2.01.591 Verification of Distributed AI Systems |
| Subtitle | inf591 |
| Course number | 2.01.591 |
| Semester | WiSe24/25 |
| Current number of participants | 4 |
| expected number of participants | 20 |
| Home institute | Department of Computing Science |
| Courses type | Lecture in category Teaching |
| First date | Friday, 18.10.2024 10:00 - 12:00, Room: V04 1-146 |
| Type/Form | V |
| Lehrsprache | englisch |
