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!