- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
-
Biewer, Sebastian
Baum, Kevin
Sterz, Sarah
Hermanns, Holger
Hetmank, Sven
Langer, Markus
Lauber-Rönsberg, Anne
Lehr, Franz
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-024-00445-2
- URN
-
urn:nbn:de:101:1-2406182128377.498670394749
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Biewer, Sebastian
- Baum, Kevin
- Sterz, Sarah
- Hermanns, Holger
- Hetmank, Sven
- Langer, Markus
- Lauber-Rönsberg, Anne
- Lehr, Franz
- SpringerLink (Online service)