2025. TECHNIQUE DE VÉRIFICATION EN TEMPS RÉEL DE CIRCUITS ARITHMÉTIQUES SANS MÉMOIRE BASÉS SUR LES MATHÉMATIQUES VÉDIQUES. REVUE ROUMAINE DES SCIENCES TECHNIQUES — SÉRIE ÉLECTROTECHNIQUE ET ÉNERGÉTIQUE. 70, 4 (nov. 2025), 519–524. DOI:https://doi.org/10.59277/RRST-EE.2025.4.15.