• Hauptnavigation
  • Seiten-Navigation
  • Seiteninhalt
  • Hilfe & Kontakt
Universität Konstanz
  • Simple Language
  • Sign Language
    • University
    • Research
    • Study
    • Teaching
    • campus.kn

  • Log in with your university's account to access password-protected areas.

    Lost credentials?
Software and Systems Engineering - Prof. Dr. Stefan Leue

Winter Term 2023/24

  • Members
    • Members
    • Prof. Dr. Stefan Leue
    • Research Staff
    • Administration Office
    • Alumni
  • Research
    • Research
    • Neural Network Repair
    • SCADNet
    • Causality in Systems
    • TarTar
    • CauseJMu
    • DiRePro
    • IMCOS
    • Tools
  • Teaching
    • Teaching
    • Student-Information
    • Projects and Theses
    • Current ZEuS
    • Current Term
  • Publications
    • Publications
    • Publications
    • Presentation
Department of Computer and Information Science Software and Systems Engineering - Prof. Dr. Stefan Leue Teaching Current Term Past Terms Winter Term 2023/24
  • Student Information
  • Projects and Theses
  • Current ZEuS
  • Winter Term 2024/25
    • Seminar: Advanced topics in software and systems engineering
    • Course: Software engineering
    • Course: Advanced verification of software and systems
    • DS: Distributed systems
  • Past Terms
    • Summer Term 2024
    • Winter Term 2023/24
      • DS: Verification of Cyber-Physical Systems
      • DS: Systems Specification Using TLA+
      • Course: Advanced Verification of Software and Systems
    • Summer Term 2023
    • Summer Term 2022
    • Winter Term 2021/22
    • Summer Term 2021
    • Winter Term 2020/21
    • Summer Term 2020
    • Winter Term 2019/20

Courses and Projects

Advanced Verification of Software and Systems

Course

Verification of Cyber-Physical Systems

Directed Studies

Systems Specification Using TLA+

Directed Studies

Software and Systems Engineering - Project

Bachelor / Master Project
To top
  • Impressum, Contact and Legal Notice
  • Information on data protection
  • Job openings
  • Information on accessibility
  • Whistleblower
  • Counseling in cases of conflicts/discrimination
  • Ideas and feedback
  • Contact page editor
  • X
  • Mastodon
  • YouTube
  • Instagram
  • Facebook

© Universität Konstanz 2024 Page Identifier: 157046

Search University of Konstanz

  • Search pages

Results

Suggestions