Deutschland » Nordrhein-Westfalen » RWTH Aachen » Informatik » Prof. Dr. Katoen » Kurse
Prof. Dr. Joost-Pieter Katoen
Dies ist Ihr Profil? Informieren Sie sich über die Registrierung oder melden Sie sich gleich an.
Prof. Dr.
Joost-Pieter
Katoen
Informatik
RWTH Aachen
Lehrveranstaltungen von Prof. Dr. Joost-Pieter Katoen
Veranstaltung | Umfang | Beschreibung | Bewertungen |
---|---|---|---|
Advanced Model Checking Vorlesung + Übung/Tutorium |
4 SWS | - | 1 |
Foundations of the UML Vorlesung + Übung/Tutorium |
3 SWS 6 CP |
- | 1 |
Introduction to Model Checking Vorlesung + Übung/Tutorium |
4 SWS | - | 2 |