TU Wien:Runtime Verification VU (Bartocci)
DatenBearbeiten
| Vortragende | Ezio Bartocci• Dejan Nickovic |
|---|---|
| ECTS | 6 |
| Alias | Runtime Verification (en) |
| Abteilung | Computer Engineering |
| 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 |
InhaltBearbeiten
noch offen, bitte nicht von TISS/u:find oder Homepage kopieren, sondern aus Studierendensicht beschreiben.
AblaufBearbeiten
noch offen
Benötigte/Empfehlenswerte VorkenntnisseBearbeiten
noch offen
VortragBearbeiten
noch offen
ÜbungenBearbeiten
noch offen
Prüfung, BenotungBearbeiten
noch offen
Dauer der ZeugnisausstellungBearbeiten
noch offen
ZeitaufwandBearbeiten
noch offen
UnterlagenBearbeiten
noch offen
TippsBearbeiten
noch offen
Highlights / LobBearbeiten
noch offen
Verbesserungsvorschläge / KritikBearbeiten
noch offen