Skip to Main content Skip to Navigation
Conference papers

Verification-guided Voter Minimization in Triple-Modular Redundant Circuits

Dmitry Burlyaev 1, * Pascal Fradet 1, * Alain Girault 1, * 
* Corresponding author
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00911768
Contributor : Pascal Fradet Connect in order to contact the contributor
Submitted on : Friday, November 29, 2013 - 6:44:08 PM
Last modification on : Tuesday, August 2, 2022 - 4:24:35 AM

Identifiers

  • HAL Id : hal-00911768, version 1

Collections

UGA | CNRS | INRIA | IRISA | LIG | INRIA2 | LIG-MFML-SPADES | UR1-MATH-STIC | UR1-UFR-ISTIC | UR1-MATH-NUM | LIG_SIDCH

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. ⟨hal-00911768⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

97

 

Contact                    Legal Notice                    Personal Data