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. WS 2016/17

Courses in WS 2016/17

Number Courses
L.079.05731 Model Checking (in English)
L.079.08000 Seminar: Formal Models for Safe and Secure Systems (in English)

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