Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect

Peter Popov. Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect. Rel. Eng. & Sys. Safety, 216:108008, 2021. [doi]

Abstract

Abstract is missing.