Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Forschungsgruppe
Master- und Bachelorarbeiten

Generation of Preconditions through Symbolic Backwards Execution

  • Forschungsthema:Generation of Preconditions through Symbolic Backwards Execution
  • Typ:Masterarbeit
  • Datum:ab sofort (2020)
  • Betreuer:

    Marko Kleine Büning