Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich
Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich
Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software
Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software
Bayesian optimization in robot learning : automatic controller tuning and sample-efficient methods
Ambrosia : ein Echtzeit-Betriebssystem für Automobil-Steuergeräte