Verifizierung von komponentenbasierten Roboteranwendungen unter Verwendung von Alloy Analyzer

  • Typ:Bachelorarbeit
  • Datum:12. Mai 2017
  • Betreuung:

    York Sure-Vetter, Patrick Philipp

  • Bearbeitung:Max Christoph Udri