Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Switch to english language
Startseite    Anmelden     
Logout in [min] [minutetext]
WiSe 2024/25

Scaling the Formal Methods Playground - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Projekt SWS
Veranstaltungsnummer 424210034 Max. Teilnehmer/-innen 6
Semester WiSe 2024/25 Zugeordnetes Modul
Erwartete Teilnehmer/-innen
Rhythmus einmalig
Hyperlink  
Sprache englisch


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Ringert, Jan, Prof., Dr.rer.nat.
Soaibuzzaman, . , Master of Science
Studiengänge
Abschluss Studiengang Semester Leistungspunkte
B. Sc. Medieninformatik (B.Sc.), PV 29 - 15
B. Sc. Medieninformatik (B.Sc.), PV 11 - 15
M. Sc. Digital Engineering (M.Sc.), PV 17 - 12
B. Sc. Medieninformatik (B.Sc.), PV 16 - 15
B. Sc. Medieninformatik (B.Sc.), PV 17 - 15
M. Sc. Digital Engineering (M.Sc.), PV 19 - 12
B. Sc. Informatik (B.Sc.), PV 2020 - 12
M. Sc. Digital Engineering (M.Sc.), PV 2023 - 12
Zuordnung zu Einrichtungen
Fakultät Medien
Inhalt
Beschreibung

We will develop new technologies and applications to use formal methods.

Voraussetzungen

Digital Engineering students must have completed their foundations.

Leistungsnachweis

Projektbericht und Ergebnisse in Form von Software.

Zielgruppe

B.Sc. Medieninformatik,
B.Sc. Informatik,
M.Sc. Digital Engineering


Strukturbaum
Die Veranstaltung wurde 7 mal im Vorlesungsverzeichnis WiSe 2024/25 gefunden:
Informatikprojekt  - - - 2
Project  - - - 5
Project  - - - 6

BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz