Hauptnavigation
Seiteninhalt
Inhalt
Hilfe & Kontakt
Suche
Accessibility
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
Search
Software and Systems Engineering - Prof. Dr. Stefan Leue
Winter Term 2020/21
Members
Members
Prof. Dr. Stefan Leue
Research Staff
Administration Office
Alumni
Research
Research
SCADNet
QuantUM
CausCheck
CauseJMu
DiRePro
IMCOS
Tools
Abgeschlossene Projekte
Teaching
Teaching
Student-Information
Projects and Theses
Current ZEuS
Current Term
Past Terms
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 2020/21
Student Information
Projects and Theses
Current ZEuS
Winter Term 2023/24
Course: Advanced Verification of Software and Systems
DS: Systems Specification Using TLA+
DS: Verification of Cyber-Physical Systems
Past Terms
Summer Term 2023
Summer Term 2022
Winter Term 2021/22
Summer Term 2021
Winter Term 2020/21
Course: Verification of Software and Systems
DS: Decision Procedures for Software Verification
DS: Concurrent, Distributed and Cloud Computing
BA/MA Seminar: Machine Learning and Formal Verification
MA Project: Formal Verification of Software Defined Networks
Summer Term 2020
Winter Term 2019/20
Summer Term 2019
Winter Term 2018/19
Winter Term: 1 October 2020- 31 March 2021
Digital
Classes: 2 November 2020 - 12 February 2021
Bachelor / Master
Course: Verification of Software and Systems
Directed Studies: Decision Procedures for Software Verification
Directed Studies: Concurrent, Distributed and Cloud Computing
Bachelor
Seminar: Machine Learning and Formal Verification
Project: Software and Systems Engineering
Master
Seminar: Machine Learning and Formal Verification
Project: Software and Systems Engineering
Project: Formal Verification of Software Defined Networks
Hide search
Search University of Konstanz
Search pages
KonSearch
Local library catalogue
Search terms
Search
Results
Suggestions