Miriam Heilemann

According to our database¹, Miriam Heilemann authored at least 2 papers between 2011 and 2014.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2014

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

[BibT_eX]

[DOI]

Miriam Heilemann

PhD thesis, 2014

2011

Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk.

[BibT_eX]

[DOI]

Miriam Heilemann

Günther Palm

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Miriam Heilemann

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...