TU Wien:Formal Methods in Systems Engineering VU (Kovacs)

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Katalin FazekasLaura KovacsAlexander PluskaAdrian Rebola PardoEva Maria WagnerGeorg WeissenbacherFlorian Zuleger
ECTS 6,0
Letzte Abhaltung 2025W
Sprache English
Mattermost formal-methods-in-systems-engineeringRegisterMattermost-Infos
Links tiss:192164, eLearning
Zuordnungen
Masterstudium Logic and Computation Modul Formal Methods in Systems Engineering * (Gebundenes Wahlfach)
Masterstudium Software Engineering & Internet Computing Modul Formal Methods in Systems Engineering + (Gebundenes Wahlfach)
Masterstudium Technische Informatik Modul Formal Methods in Computer Science (Pflichtfach)


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

Highlights / Lob[Bearbeiten | Quelltext bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen


Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.