|
Automated Verification Tools for Embedded Software
2605
HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge
|
Prof. Dr. Holger Giese
|
|
Engineering Smart Systems and Service
2606
HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge
|
Prof. Dr. Holger Giese
,
Joachim Hänsel
|
|
Runtime Monitoring
2516
HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge
|
Prof. Dr. Holger Giese
,
Lucas Sakizloglou
|
|
Test Automation for Graph Databases
2590
HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge
|
Dr. Leen Lambers
,
Dr. Sven Schneider
|
