Erforschung eines Ansatzes zur Systemvalidierung der sicherheitstechnischen Funktion von softwarebasierten Kransteuerungen - Leberecht, Moritz; Piljugin, Ewgenij; Müller, Christian; Gärner, Felix 1992-; Sommer, Dagmar 1966- (Gesellschaft für Anlagen- und Reaktorsicherheit: GRS, 2020)