Software-Fehler mit Algorithmen erkennen

Die Computertechnologie ist enorm fortgeschritten – kleine Software-Fehler und -Störungen scheinen aber nach wie vor unvermeidbar. Professor Laura Kovacs vom Institut für Logic and Computation […]