Journal Articles
Leibniz Transactions on Embedded Systems
Year : 2018
Pascal Fradet : Connect in order to contact the contributor
https://inria.hal.science/hal-02065630
Submitted on : Tuesday, March 12, 2019-6:50:54 PM
Last modification on : Friday, March 24, 2023-2:53:10 PM
Cite
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⟩
Collections
25
View
0
Download