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 2025/26
Veranstaltungen      Räume und Gebäude      Personen     
Sie sind hier: Startseite

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
B. Sc. Medieninformatik (B.Sc.), PV 16 - 15
B. Sc. Medieninformatik (B.Sc.), PV 17 - 15
M. Sc. Digital Engineering (M.Sc.), PV 17 - 12
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
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2024/25 , Aktuelles Semester: WiSe 2025/26
BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz