|
Automated Analysis of Formal Models
2156
HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge, HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance
|
Prof. Dr. Holger Giese
,
Johannes Dyck
|
|
Intelligent Autonomous Systems: Assurance and Ethical Issues
2134
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
|
|
Test Automation for Graph Databases
2117
HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge, HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance
|
Dr. Leen Lambers
,
Dr. Sven Schneider
|
