TU Wien:Runtime Verification VU (Bartocci)
Zur Navigation springen
Zur Suche springen
Daten[Bearbeiten | Quelltext bearbeiten]
Vortragende | Ezio Bartocci• Dejan Nickovic |
---|---|
ECTS | 6 |
Alias | Runtime Verification (en) |
Abteilung | Computer Engineering |
Wann | Sommersemester |
Letzte Abhaltung | 2023SS |
Sprache | English |
Mattermost | runtime-verification • Register • Mattermost-Infos |
Links | tiss:191118 |
Katalog Freie Wahlfächer - Wirtschaftsinformatik | Wahlmodul Freie Wahlfächer |
Katalog Freie Wahlfächer - Informatik | Wahlmodul Freie Wahlfächer |
Master Data Science | Wahlmodul Freie Wahlfächer |
Inhalt[Bearbeiten | Quelltext bearbeiten]
noch offen, bitte nicht von TISS/u:find oder Homepage kopieren, sondern aus Studierendensicht beschreiben.
Ablauf[Bearbeiten | Quelltext bearbeiten]
noch offen
Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]
noch offen
Vortrag[Bearbeiten | Quelltext bearbeiten]
noch offen
Übungen[Bearbeiten | Quelltext bearbeiten]
noch offen
Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]
noch offen
Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]
noch offen
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
noch offen
Unterlagen[Bearbeiten | Quelltext bearbeiten]
noch offen
Tipps[Bearbeiten | Quelltext bearbeiten]
noch offen
Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]
noch offen