Seminar: 2.01.AM-23 Oberseminar Quantitative Verifikation - Details

General information

Course name	Seminar: 2.01.AM-23 Oberseminar Quantitative Verifikation
Subtitle	bam/mam
Course number	2.01.AM-23
Semester	SoSe2025
Current number of participants	1
expected number of participants	8
Home institute	Department of Computing Science
Courses type	Seminar in category Teaching
Type/Form	S
Lehrsprache	--

Lecturers

• Prof. Dr. Christoph Matheja

Rooms and times

The course times are not decided yet.

Module assignments

• Campusmanagementsystem Stud.IP
  • Computing Science - Bachelor's Programme
    • Abschlussmodul
      • bam - Bachelor Thesis Module Computer Science
        • Seminar
  • Business Informatics - Bachelor's Programme
    • Abschlussmodul
      • bam - Bachelor Thesis Module Business Informatics
        • Seminar
  • Computing Science - Dual-Subject Bachelor's Programme
    • Abschlussmodul
      • bam - Bachelor Thesis and Colloquium
        • Seminar
  • Digitalised Energy Systems - Master's Programme
    • Abschlussmodul
      • mam - Master Thesis Module Digitalised Energy Systems
        • Colloquium
  • Engineering of Socio-Technical Systems - Master's Programme
    • Abschlussmodul
      • mam - Master´s Thesis Module
        • Seminar
  • Computing Science - Master's Programme
    • Abschlussmodul
      • mam - Master Thesis Module Computer Science
        • Seminar
  • Computing Science - Master of Education Programme (Gymnasium)
    • Abschlussmodul
      • mam - Master Thesis and Colloquium
        • Seminar
  • Computing Science - Master of Education Programme (Hauptschule and Realschule)
    • Abschlussmodul
      • mam - Masterarbeitsmodul
        • Seminar
  • Computing Science - Master of Education Programme (Vocational and Business Education)
    • Abschlussmodul
      • mam - Master Thesis and Colloquium
        • Seminar
  • Business Informatics - Master's Programme
    • Kernmodule
      • mam - Master Thesis Module Business Informatics
        • Seminar

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".

Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:

• Admission locked.