Verification-guided Voter Minimization in Triple-Modular Redundant Circuits

Dmitry Burlyaev 1, * Pascal Fradet 1, * Alain Girault 1, *
* Auteur correspondant
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes
Type de document :
Communication dans un congrès
Design, Automation and Test in Europe Conference, DATE'14, Mar 2014, Dresden, Germany. 2013
Liste complète des métadonnées
https://hal.inria.fr/hal-00911768
Contributeur : Pascal Fradet <>
Soumis le : vendredi 29 novembre 2013 - 18:44:08
Dernière modification le : mercredi 4 décembre 2013 - 15:40:55

Identifiants

  • HAL Id : hal-00911768, version 1

Collections

INRIA

Citation

Dmitry Burlyaev, Pascal Fradet, Alain Girault. Verification-guided Voter Minimization in Triple-Modular Redundant Circuits. Design, Automation and Test in Europe Conference, DATE'14, Mar 2014, Dresden, Germany. 2013. <hal-00911768>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

182

Contact


archive-ouverte@inria.fr