
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
Keywords: شبکهٔ بیزی یا «شبکه باور» یا «شبکه باور بیزی»; Safety; N-modular redundancy; Bayesian Networks; Imperfect maintenance; Multiformalism modeling