News Überblick

Zeige Ergebnisse 1 bis 1 von 1

Vor Markteinführung müssen Computersysteme auf ihre Korrektheit überprüft werden. Eine vollständige Verifikation ist aufgrund der Komplexität heutiger ...

zum Artikel

Forschungsbereiche

Forschungsthemen

News Kategorie

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence