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
Winter Term 2017/18
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 2017/18
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
Winter Term 2017/2018: 1 October - 31 March
Classes: 23 October 2017 - 17 February 2018
Bachelor / Master
Course
:
Model Checking of Software and Systems
Course
: Software Engineering
Directed Studies
: Satisfiability Modulo Theories
Bachelor
Project/Thesis
: Software and Systems Engineering
Seminar
: Advanced Topics in Software Engineering
Master
Project
/Thesis: Software and Systems Engineering
Hide search
Search University of Konstanz
Search pages
KonSearch
Local library catalogue
Search terms
Search
Results
Suggestions