Threat Repair with Optimization Modulo Theories

Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic

Publikation: Arbeitspapier › Preprint

1 Ergebnisse

Abgeschlossen
TRUSTED - VerTRaUen, Sicherheit & AuTonomie im FahrzEug Der Zukunft
Bloem, R.
1/11/19 → 31/10/22
Projekt: Forschungsprojekt