Beladam, Naima, University of RELIZANE, Algeria

• Vol 29, No 1 (2025): 29(1) 2025 - Articles
  Formal Modeling and Verification of Healthcare Systems Requirements Based on Simulation and Hoare Logic
  Abstract  PDF