Bouheroum A, Benmerzoug D, Hemam SM, Belala F. A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems. Eng. Technol. Appl. Sci. Res. [Internet]. 2025 Feb. 2 [cited 2025 Mar. 15];15(1):20211-2. Available from: https://etasr.com/index.php/ETASR/article/view/9646