Searching Bugs by Visualizing ComputationsValidierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes

Braßel, B.2023-05-222023-05-222006https://dl.gi.de/handle/20.500.12116/41580deSearching Bugs by Visualizing ComputationsValidierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären AnsatzesText/Journal Article0720-8928