Fachartikel
Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten
In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow)
Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]
Mehr Informationen