UPB Bildmarke
Spezifikation und Modellierung von Softwaresystemen
Kontakt
  • English
  • Deutsch
    • Seite "Teaching" öffnen
      • Seite "Courses" öffnen
      • Group Seminar
      • WS 2020/21
      • SS 2020
      • WS 2019/20
      • SS 2019
      • WS 2018/19
      • SS 2018
      • WS 2017/18
      • Seite "Student Projects" öffnen
      • Bachelor/Master Thesis
    • Seite "Research" öffnen
      • Seite "Research projects" öffnen
      • Validation of Software Transactional Memory
      • Verification of service compositions (CRC 901, Subproject B3)
      • Proof-Carrying Services (CRC 901, Subproject B4)
      • Cooperative Software Verification
    • Seite "Team" öffnen
      • Seite "Group" öffnen
      • People
      • Open Jobs
      • Where to find us
      • Seite "Additional" öffnen
      • Photos
    • Seite "Faculty" öffnen
      • Seite "Faculty" öffnen
      • Faculty for Electrical Engineering, Computer Science, and Mathematics
      • Department of Electrical Engineering
      • Department of Computer Science
      • Department of Mathematics
  1. Informatik
  2. Specification and Modelling of Software Systems
  3. Teaching
  4. SS 2020

Cour­ses in SS 2020

Number Courses
L.079.05603 Softwaremodellierung mit formalen Methoden
L.079.05817 Model Checking
  Seminar: Advanced Techniques in Software Analysis

Spezifikation und Modellierung von Softwaresystemen

Warburger Str. 100
33098 Paderborn
Deutschland

Universität Paderborn

Warburger Str. 100
33098 Paderborn
Deutschland

Telefon Universität

+49 5251 60-0
Rechtliches
  • Impressum
  • Datenschutz
  • Hinweisgebersystem
Soziale Netzwerke