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

Courses in SS 2020

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

Specification and Modelling of Software Systems

Warburger Str. 100
33098 Paderborn
Germany

Universität Paderborn

Warburger Str. 100
33098 Paderborn
Germany

Phone University

+49 5251 60-0
Legal notice
  • Imprint
  • Data privacy
  • Whistleblower system
Social networks