|
[HAS19]
Khaza Anuarul Hoque, Otmane Ait Mohamed and Yvon Savaria.
Dependability Modeling and Optimization of Triple Modular Redundancy Partitioning for SRAM-based FPGAs.
Reliability Engineering & System Safety.
2019.
[Presents a methodology to analyse Triple Modular Redundancy (TRM) using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|