Thema4220/en
Aus Aifbportal
Verifizierung von komponentenbasierten Roboteranwendungen unter Verwendung von Alloy Analyzer
Max Christoph Udri
Information on the Thesis
Type of Final Thesis:
Bachelor
Supervisor: York Sure-Vetter, Patrick 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!