Weiterentwicklung und Einsatz eines automatisierten Verifizierungsverfahrens für Analysesimulatoren : Abschlussbericht / GRS, Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH ; Stefan Wenzel, Simone Palazzo, Joachim Herb, Josef Scheuer, Zhuoqi Du, Hristo Goumnerov
"Das diesem Bericht zugrunde liegende Forschungsvorhaben wurde mit Mitteln des Bundesministeriums für Umwelt, Naturschutz, nukleare Sicherheit und Verbraucherschutz (BMUV) unter dem Förderkennzeichen 4719R01375 durchgeführt."