Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation

Waqar Ahmad, Osman Hasan, Sofiène Tahar. Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. Formal Asp. Comput., 32(1):71-111, 2020. [doi]

Abstract

Abstract is missing.