Threat Repair with Optimization Modulo Theories

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

Publikation: ArbeitspapierPreprint

Fingerprint

Untersuchen Sie die Forschungsthemen von „Threat Repair with Optimization Modulo Theories“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science