Verifizierung von komponentenbasierten Roboteranwendungen unter Verwendung von Alloy Analyzer

  • Type:Bachelorarbeit
  • Date:12. Mai 2017
  • Supervisor:

    York Sure-Vetter, Patrick Philipp

  • Person in Charge:Max Christoph Udri