Automatisierte Verifikation des Designs der grafischen Benutzeroberflche von Infotainmentsystemen mit einem Bayes'schen Netzwerk.

Miriam Heilemann, Gnther Palm

Browse the full GI paper archive.