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
SpinCause
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
Publications
Publications
Publications
Presentation
Department of Computer and Information Science
Software and Systems Engineering - Prof. Dr. Stefan Leue
Research
Tools
SpinCause
SCADNet
TarTar
QuantUM
CausCheck
CauseJMu
DiRePro
Real-Time Systems
Probabilistic Systems
Directed Model Checking
IMCOS
IBOC
aLive
PONES
Tools
IBOC
TarTar
SpinCause
SDN-SafeCheck
K* Algorithm (K Star)
DiPro
MESA
VIP
HSF-SPIN
SpinCause - Causality Checking
SpinCause Source Code
Promela Model of Railway Crossing Case Study
Promela Model of Airbag Case Study
Hide search
Search University of Konstanz
Search pages
KonSearch
Local library catalogue
Search terms
Search
Results
Suggestions