Suchergebnisse - "Software and its engineering→Software verification"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1

    AmbieGenVAE at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track von Humeniuk, Dmytro, Khomh, Foutse

    Veröffentlicht: ACM 14.04.2024
    “… It has achieved the highest score for one of the test subjects and the second-highest final score among 2 other submitted tools …”
    Volltext
    Tagungsbericht