Stage-oe-small.jpg

Thema4220/en

Aus Aifbportal
< Thema4220
Version vom 18. August 2017, 09:42 Uhr von Io3294 (Diskussion | Beiträge) (Auto create by AifbPortalExt)
(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


Information on the Thesis

Type of Final Thesis: Bachelor
Supervisor: York Sure-VetterPatrick Philipp
Research Group: Web Science

Archive Number: 4.220
Status of Thesis: Completed
Date of start: 2016-12-01
Date of submission: 2017-05-12

Further Information

Sorry, no english description available!