• Hauptnavigation
  • Seiteninhalt
  • Inhalt
  • Hilfe & Kontakt
Suche Universität Konstanz
  • Accessibility
    • 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

Summer Term 2016

  • Members
    • Members
    • Prof. Dr. Stefan Leue
    • Research Staff
    • Administration Office
    • Alumni
  • Research
    • Research
    • QuantUM
    • CausCheck
    • CauseJMu
    • DiRePro
    • IMCOS
    • Tools
    • Abgeschlossene Projekte
  • Teaching
    • Teaching
    • Student-Information
    • Projects and Theses
    • Current ZEuS
    • Summer Term 2023
    • 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 Summer Term 2016
  • Student Information
  • Projects and Theses
  • Current ZEuS
  • Summer Term 2023
    • Course: Software Engineering
    • Course: Verification of Software and Systems
    • DS: Decision Procedure for Software Verification
  • Past Terms
    • Summer Term 2022
    • Winter Term 2021/22
    • Summer Term 2021
    • Winter Term 2020/21
    • Summer Term 2020
    • Winter Term 2019/20
    • Summer Term 2019
    • Winter Term 2018/19
    • Summer Term 2018

Summer Term 2016: April 1 - September 30

Classes: April 11 - July 16

Bachelor / Master
  • Course: Advanced Model Checking
  • Directed Studies: Requirements Engineering
  • Seminar: Simply a Game: Model Checking and Games
  • Seminar: Model-based Testing

Bachelor
  • Project: Software and Systems Engineering

Master
  • Project: Software and Systems Engineering

To top
  • Impressum, Contact and Legal Notice
  • Information on data protection
  • Information on accessibility
  • Contact page editor
  • Facebook
  • Twitter
  • YouTube
  • iTunes U
  • Instagram

© Universität Konstanz 2023 Page Identifier: 89635

Search University of Konstanz

  • Search pages

Results

Suggestions