Universität MünsterSoftwareentwicklung und VerifikationInstitut für Informatik
  • zum Inhalt
  • zur Hauptnavigation
  • zur Subnavigation
  • Start
  • Forschung
  • Lehre
  • Personen
  • Publikationen
  • Studienberatung
  • Home
    • Lehre
      • Wintersemester 2018/19
        • Seminar: Software Reliability Methods
  • Sommersemester 2025
  • Wintersemester 2024/25
  • Sommersemester 2024
  • Wintersemester 2023/24
  • Sommersemester 2023
  • Wintersemester 2022/23
  • Sommersemester 2022
  • Wintersemester 2021/22
  • Sommersemester 2021
  • Wintersemester 2020/21
  • Sommersemester 2020
  • Wintersemester 2019/20
  • Sommersemester 2019
  • Wintersemester 2018/19
    • Vorlesung: Software Engineering
    • Seminar: Software Reliability Methods
    • Praktikum: Softwarepraktikum
    • Oberseminar: Softwareentwicklung und Verifikation
  • Sommersemester 2018
  • Wintersemester 2017/18
  • Sommersemester 2017
  • Wintersemester 2016/17
  • Sommersemester 2016
  • Frühere Semester

Software Reliability Methods

Seminar im Wintersemester 2018/2019 an der Westfälischen Wilhelms-Universität Münster

Veranstalter: Prof. Dr. Markus Müller-Olm, Jens Gutsfeld, Sebastian Kenter 

Eintrag für das Seminar im HIS/LSF


Ort und Zeit

Vorträge im Semester montags 14:15-15:45 Uhr im SRZ 215

Die Termine der einzelnen Vorträge werden noch bekannt gegeben.


Inhalt

Aktuelle Arbeiten zu Methoden zur Verbesserung der Verlässlichkeit von Software.

  • Folien der Vorbesprechung

nach oben

Kontakt

Universität Münster
AG Softwareentwicklung und Verifikation

Einsteinstraße 62
48149 Münster

Tel: +49 251 83-33792
Fax: +49 251 83-33755
markus.mueller-olm@uni-muenster.de
 
wissen.leben
  • Index
  • Impressum
  • Datenschutzhinweis
  • Barrierefreiheit

© 2025 AG Müller-Olm, Universität Münster