Hoque, Khaza Anuarul et Mohamed, O. Ait et Savaria, Yvon et Thibeault, Claude (2014) Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. In: NON SPÉCIFIÉ, Oct. 19-21, 2014, Lausanne, Switzerland.
Le plein texte n'est pas disponible pour ce document.
URL Officielle: http://dx.doi.org/10.1109/MEMCOD.2014.6961856
| Type de document: | Document issu d'une conférence ou d'un atelier (NON SPÉCIFIÉ) |
|---|---|
| Déposé par: | Diane Girard |
| Date de dépôt: | 16 déc. 2014 21:58 |
| Dernière modification: | 16 déc. 2014 21:58 |
| URI: | http:///id/eprint/9061 |
Gestion Actions (Identification requise)
- Dernière vérification avant le dépôt