Hauptnavigation
Seiten-Navigation
Seiteninhalt
Hilfe & Kontakt
Menu University
University
Research
Study
Teaching
campus.kn
en
My University
Log in with your university's account to access password-protected areas.
Username
Password
Lost credentials?
Sign in
Toggle Searchoverlay
Software and Systems Engineering - Prof. Dr. Stefan Leue
Summer Term 2017
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
Summer Term 2017
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
Summer Term 2023
Summer Term 2022
Winter Term 2021/22
Summer Term 2021
Winter Term 2020/21
Summer Term 2020
Winter Term 2019/20
Summer Term 2017: 1 April - 30 September
Classes: 24 April 2017 - 29 July 2017
Bachelor / Master
Seminar:
Faults and Failures in Safety-Critical Systems
Directed Studies
: Formal Specification and Verification of Cyber-Physical Systems
Bachelor
Project
: Software and Systems Engineering
Master
Project
: Software and Systems Engineering
Hide search
Search University of Konstanz
Search pages
KonSearch
Local library catalogue
Search terms
Search
Results
Suggestions