Synchronization Management in Hypermedia Documents. - Naima Beladam; Abdelghani Ghomari (J. Integr. Des. Process. Sci., 2019)

Formal Modeling and Verification of Healthcare Systems Requirements Based on Simulation and Hoare Logic. - Naima Beladam; Abdelghani Ghomari (Computación y Sistemas (CyS), 2025)