Vorlesung mit ÜbungCS4136
Runtime Verification und Testen
Originaltitel in UnivIS: „Runtime Verification und Testen / CS4136 / CS4137 / CS4139 / CS4139 T / Vorlesung“
Termine
Wöchentlich, Mi · 10:00–12:00
nicht in der vorlesungsfreien Zeit
Wöchentlich, Do · 14:00–16:00
nicht in der vorlesungsfreien Zeit
Raum: MFC9 S01
Beschreibung
Organisatorisches
3V + 1Ü
Moodle-Kurs: tba
Master Informatik, im Rahmen des Vertiefungsmoduls CS4507 Softwareverifikation als Teilmodul CS4139 T Runtime Verification und Testen
Master Informatik, Pflicht, Anwendungsfach Software Systems Engineering, im Rahmen des Vertiefungsmoduls CS4507 Softwareverifikation als Teilmodul CS4139 T Runtime Verification und Testen
Master Informatik (Wahlpflicht), Anwendungsfach IT-Sicherheit und Zuverlässigkeit
Master Entrepreneurship in digitalen Technologien, im Rahmen des Vertiefungsmoduls CS4507 Softwareverifikation als Teilmodul CS4139 T Runtime Verification und Testen
Master Medizinische Informatik (Wahlpflicht), Informatik
Master Medizinische Ingenieurwissenschaft (Wahlpflicht), im Rahmen des Vertiefungsmoduls CS4507 Softwareverifikation als Teilmodul CS4139 T Runtime Verification und Testen
Master Medieninformatik (Wahlpflicht), Informatik
Im Vorlesungsverzeichnis
- , 1. - 3. Fachsemester