Stage-oe-small.jpg

Thema4220

Aus Aifbportal
Version vom 18. August 2017, 09:41 Uhr von Io3294 (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel=Verifizierung von komponentenbasierten Roboteranwendungen unter Verwendung von Alloy Analyzer |Vorname=Max Christoph |Nachname=Udri |Absc…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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!