« TECHNIQUE DE VÉRIFICATION EN TEMPS RÉEL DE CIRCUITS ARITHMÉTIQUES SANS MÉMOIRE BASÉS SUR LES MATHÉMATIQUES VÉDIQUES », RRST-EE, vol. 70, nᵒ 4, p. 519–524, nov. 2025, doi: 10.59277/RRST-EE.2025.4.15.