von Klaus Bengler ; Werner Damm ; Andreas Luedtke ; Jochem Rieger ; Benedikt Austel ; Bianca Biebl ; Martin Fränzle ; Willem Hagemann ; Moritz Held ; David Hess ; Klas Ihme ; Severin Kacianka ; Alyssa J. Kerscher ; Laine Forrest ; Sebastian Lehnhoff ; Alexander Pretschner ; Astrid Rakow ; Daniel Sonntag ; Janos Sztipanovits ; Maike Schwammberger ; Mark Schweda ; Anirudh Unni ; Eric M. S. P. Veith
Verification and Evaluation of Computer and Communication Systems 1st ed. 2022. Cham : Springer International Publishing, 2022 (2022), Seite 17-26 1 Online-Ressource(XI, 91 p. 30 illus., 18 illus. in color.)
Validation and Verification of Automated Systems 1st ed. 2020 Cham : Springer, 2020 (2020), Seite 45-60 1 Online-Ressource (XI, 320 p. 143 illus., 132 illus. in color)
Validation and Verification of Automated Systems 1st ed. 2020 Cham : Springer, 2020 (2020), Seite 61-73 1 Online-Ressource (XI, 320 p. 143 illus., 132 illus. in color)
Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (4. : 2019 : Prag) Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology [Waterloo, NSW] : [Open Publishing Association], 2019 (2019), Seite 47-65 1 Online-Ressource