Navigation

Stud.IP Uni Oldenburg

University of Oldenburg Stud.IP homepage

17.08.2022 19:02:10

Lecture: 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse - Details

Close message box

You are not logged into Stud.IP.

General information

Course name	Lecture: 2.01.205 Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
Subtitle	inf205
Course number	2.01.205
Semester	Wintersemester 2021/2022
Current number of participants	9
expected number of participants	25
Home institute	Department of Computing Science
Courses type	Lecture in category Teaching
First date	Wed., 20.10.2021 10:00 - 12:00
Type/Form	3V+1Ü
Lehrsprache	deutsch

Lecturers

Course location / Course dates

n.a.	Wednesday: 10:00 - 12:00, weekly Friday: 12:00 - 14:00, weekly

Fields of study

Campusmanagementsystem Stud.IP
- Interdisziplinäre Lehreinrichtungen
  - Center für lebenslanges Lernen
    - Studium generale / Gasthörstudium

Module assignments

Campusmanagementsystem Stud.IP
- Computing Science - Dual-Subject Bachelor's Programme
  - Wahlpflicht Technische Informatik (30 KP)
    - inf205 - Formal Methods in Embedded System Design
      - Exercises
      - Lecture
- Computing Science - Bachelor's Programme
  - Akzentsetzungsbereich - Wahlbereich Informatik
    - inf205 - Formal Methods in Embedded System Design
      - Exercises
      - Lecture
- Computing Science - Master of Education Programme (Gymnasium)
  - Wahlpflichtmodule (Technische Informatik)
    - inf205 - Formal Methods in Embedded System Design
      - Exercises
      - Lecture

Admission settings

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

Erzeugt durch den Stud.IP-Support
Settings for unsubscribe:

Admission locked.