Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Thema4220

Aus Aifbportal

Wechseln zu: Navigation, Suche



Verifizierung von komponentenbasierten Roboteranwendungen unter Verwendung von Alloy Analyzer

Max Christoph Udri


Informationen zur Arbeit

Abschlussarbeitstyp: Bachelor
Betreuer: York Sure-VetterPatrick 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!