|
[HMST14]
Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria and Claude Thibeault .
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking.
Formal Techniques for Safety-Critical Systems Communications in Computer and Information Science, 419, pages 54-70, Springer.
2014.
[Uses probabilistic model checking and PRISM to analyse dependability and performability properties of SRAM-based FPGAs.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|