collaborators

1 paper

cs.FL2019

On the Formalization of Importance Measures using HOL Theorem Proving

Waqar Ahmed, Shahid Ali Murtza, Osman Hasan +1

Importance measures provide a systematic approach to scrutinize critical system components, which are extremely beneficial in making important decisions, such as prioritizing relia…