Core Subjects Theoretical Foundations of SSE

Columns (5/10)

Module Name Course Type Credits SWS Rec. Semester Subject Type Exam Method Dates LV-ID

3 of 3 courses



Model Checking	Introduction to Model Checking	Vorlesung	6	×12Mi 12:30-14:00AH I (2350\|028)×14Do 10:30-12:00AH III (2350\|314.1)
Model Checking	Introduction to Model Checking	Übung	0	×1Mo 12:30-14:005056 (2356\|056)×1Di 10:45-13:155056 (2356\|056)×10Do 08:30-10:00AH III (2350\|314.1)×1Do 09:55-12:305056 (2356\|056)
Erfüllbarkeitsüberprüfung	Erfüllbarkeitsüberprüfung	Vorlesung/Übung		×13Mo 08:30-10:00AH I (2350\|028)×14Mo 16:30-17:155056 (2356\|056)×13Di 08:30-10:00AH V (2356\|050)