Logo Institut für Software Systeme
Institut für Software Systeme
Logo Institut für Software Systeme
Institut für Software Systeme
EN
DE
Suche
EN
DE
Suche
Mehr
(Online) Virtual needle steering
Interfacing the Real-Time Model Checker Uppaal
Cyber-physical needle steering setup
(Online) Strategy synthesis
Models
Videos
STS > Research > Model Checking & Abstract Interpretation > Videos

i3m4 Promotion Video:

 

Needle Steering Experiments:

 

Needle Steering Experiments - long version:

 

Sefi Presentation:
Designing and analyzing open application-oriented Labs in Software Verification Education

 

 

TU Hamburg
Institut für Softwaresysteme (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-Mail : sts-office@tuhh.de
Tel : 040-42878-3460
Weiterführende Links
Imprint / Impressum
Privacy / Datenschutz