Hauptnavigation
Unternavigation
Inhalt
Suche
Institute for Software Systems
search in website
en
de
Institute
Research
Lectures
Sitemap
Contact
Service
TUHH
>
STS
>
Sitemap
Sitemap
Institute
Prof. Dr. Sibylle Schupp
People
Former members
Former Tutors
News
Research
Model Checking & Abstract Interpretation
Model Checking of Automated Needle Steering
(Online) Virtual needle steering
Interfacing the Real-Time Model Checker Uppaal
Cyber-physical needle steering setup
(Online) Strategy synthesis
Models
Videos
i3m4
Uppyyl-Simulator
QMTL-VT
Online Model Checking
ZenoTool
BDDStab
Downloads
Installation
Case Study
SPALTER
Programming Languages & Program Reconstruction
Kuestennebel
regVIS
Testing & Fault Injection
Online Model Checking
Data Protection & Machine Learning
LP3Verif
CAPVerDE
IGT
MaLiTuP
i3m4
Soft Errors
FITIn
Installation
Annotation
Running FITIN
Fault Injection
FITIn Internally
Usage
FlipSafe
Thesis projects
Publications
Papers
Student Theses
PhD-Theses
Videos
Lectures
STS-Schedule
Oberseminar
Courses
Previous terms
Thesis projects
FAQ Thesis projects
Intranet
Login/Logout(Typo3)
Login/Logout(LDAP)
Imprint
Sitemap
Contact
People
Reaching STS
Service
Infos and dates
Datenschutz
Education
STS-Schulprojekte
STS-Logo