Communication Dans Un Congrès
Année : 2013
Pascal Fradet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00911768
Soumis le : vendredi 29 novembre 2013-18:44:08
Dernière modification le : jeudi 4 avril 2024-21:06:50
Dates et versions
Identifiants
- HAL Id : hal-00911768 , version 1
Citer
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⟩
Collections
98
Consultations
0
Téléchargements