Login / Signup

Bringing RoboStar and RT-Tester Together.

Ana CavalcantiAlvaro MiyazawaUwe SchulzeJon Timmis
Published in: Applicable Formal Methods for Safe Industrial Products (2023)
Keyphrases
  • black box
  • test cases
  • testing process
  • pattern recognition
  • object recognition