Zum Inhalt springen

  1. Biewer, Sebastian; Baum, Kevin; Sterz, Sarah; Hermanns, Holger; Hetmank, Sven; Langer, Markus; Lauber-Rönsberg, Anne; Lehr, Franz

    Software doping analysis for human oversight

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2024

    Erschienen in: Formal Methods in System Design