Thema4220

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!