Skip to Main content Skip to Navigation
Journal articles

A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits

Dmitry Burlyaev 1 Pascal Fradet 1 Alain Girault 1
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-02065630
Contributor : Pascal Fradet Connect in order to contact the contributor
Submitted on : Tuesday, March 12, 2019 - 6:50:54 PM
Last modification on : Wednesday, November 3, 2021 - 6:47:01 AM

Identifiers

Collections

CNRS | INRIA | LIG | LIG-MFML-SPADES | UGA | LIG_SIDCH

Citation

Dmitry Burlyaev, Pascal Fradet, Alain Girault. A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2018, 5 (1), pp.1-26. ⟨10.4230/LITES-v005-i001-a004⟩. ⟨hal-02065630⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data