Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk. - Miriam Heilemann; Günther Palm (GI-Jahrestagung, 2011)

Automatisierte Verifikation des Designs von grafischen Benutzeroberflächen mit Bayes'schen Netzen - Konzeptualisierung und praktische Anwendung am Beispiel des Audi Infotainmentsystems MMI. - Miriam Heilemann (2014)