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