Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria. Probabilistic model checking of single event transient propagation at RTL level. In 21st IEEE International Conference on Electronics, Circuits and Systems, ICECS 2014, Marseille, France, December 7-10, 2014. pages 451-454, IEEE, 2014. [doi]
Abstract is missing.