- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Software doping analysis for human oversight ; day:4 ; month:4 ; year:2024 ; pages:1-50
Formal methods in system design ; (4.4.2024), 1-50
- Urheber
-
Biewer, Sebastian
Baum, Kevin
Sterz, Sarah
Hermanns, Holger
Hetmank, Sven
Langer, Markus
Lauber-Rönsberg, Anne
Lehr, Franz
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-024-00445-2
- URN
-
urn:nbn:de:101:1-2406182128377.498670394749
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:49 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Biewer, Sebastian
- Baum, Kevin
- Sterz, Sarah
- Hermanns, Holger
- Hetmank, Sven
- Langer, Markus
- Lauber-Rönsberg, Anne
- Lehr, Franz
- SpringerLink (Online service)