Stage-oe-small.jpg

Thema4220/en

Aus Aifbportal
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!