Article Dans Une Revue
Leibniz Transactions on Embedded Systems
Année : 2018
Pascal Fradet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02065630
Soumis le : mardi 12 mars 2019-18:50:54
Dernière modification le : lundi 9 décembre 2024-03:29:35
Citer
Dmitry Burlyaev, Pascal Fradet, Alain Girault. A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. Leibniz Transactions on Embedded Systems, 2018, 5 (1), pp.1-26. ⟨10.4230/LITES-v005-i001-a004⟩. ⟨hal-02065630⟩
33
Consultations
0
Téléchargements