Naima Beladam

Orcid: 0009-0003-4782-0065

According to our database¹, Naima Beladam authored at least 2 papers between 2019 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Formal Modeling and Verification of Healthcare Systems Requirements Based on Simulation and Hoare Logic.

[DOI]

Computación y Sistemas (CyS), 2025

2019

Synchronization Management in Hypermedia Documents.

[DOI]

J. Integr. Des. Process. Sci., 2019