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. Research
  4. Research projects

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