Vol-2869⫷ Vol-2870 ⫸Vol-2871
urn:nbn:de:0074-2870-0


Vol-2870/paper132⫷Vol-2870/paper133⫸Vol-2870/paper134
Oleksandr DrozdKostiantyn ZashcholkinMaciej DobrowolskiOleksandr MartynyukOlena IvanovaAnatoly SachenkoJ. V. Drozd

Evaluating Real Checkability for FPGA-Based Components of Safety-Related Systems