Journal Articles
Leibniz Transactions on Embedded Systems
Year : 2018
Pascal Fradet : Connect in order to contact the contributor
https://hal.inria.fr/hal-02065630
Submitted on : Tuesday, March 12, 2019-6:50:54 PM
Last modification on : Saturday, July 23, 2022-3:53:14 AM
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
21
View
0
Download