Final Theses
Rosas. 2015 U. Sivapatham, "Testfallgenerierung mittels COMPLeTe für die formale Analyse von Design und Implementierung robuster Kommunikationsprotokolle", Masterarbeit, TU Dortmund, Dezember 2015. Gutachter: [...] Dezember 2015. Gutachter: Christian Wietfeld, Mitbetreuer: Stefan Böcker. O. Belov, "Optimierung der Energiebilanz zwischen LTE-Endgeräten und Basisstationen", Bachelorarbeit, TU Dortmund, Oktober 2015. Gutachter: [...] Dortmund, Juli 2015. (Gutachter: Christian Wietfeld, Maike Kuhnert). C. S. Menaria, "Robust Wireless Multi Hop Communication for Mobile Robot Control", Masterarbeit, TU Dortmund, Juli 2015. Gutachter: Christian …