Thema4220
Aus Aifbportal
Verifizierung von komponentenbasierten Roboteranwendungen unter Verwendung von Alloy Analyzer
Max Christoph Udri
Informationen zur Arbeit
Abschlussarbeitstyp: Bachelor
Betreuer: York Sure-Vetter, Patrick Philipp
Forschungsgruppe: Web Science und Wissensmanagement
Archivierungsnummer: 4220
Abschlussarbeitsstatus: Abgeschlossen
Beginn:
01. Dezember 2016
Abgabe: 12. Mai 2017
Weitere Informationen
Leider keine weiteren Informationen verfügbar!