Reliability Analysis of TSN Networks Under SEU Induced Soft Error Using Model Checking

Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed. Reliability Analysis of TSN Networks Under SEU Induced Soft Error Using Model Checking. In IEEE Latin American Test Symposium, LATS 2019, Santiago, Chile, March 11-13, 2019. pages 1-6, IEEE, 2019. [doi]

Abstract

Abstract is missing.