Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

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!