2023 30th National and 8th International Iranian Conference on Biomedical Engineering (ICBME) Biomedical Engineering (ICBME), 2023 30th National and 8th International Iranian Conference on. :126-131 Nov, 2023
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :97-107 May, 2023