Author

Asma Bezza

Institution: Larbi Ben M'hidi University of Oum El Bouaghi

Observed institutions: Larbi Ben M'hidi University of Oum El Bouaghi, Abbès Laghrour University of Khenchela

OpenAlex ID: A5072587497

Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm

2025 · Asma Bezza, Rohallah Benaboud, et al. · Journal of Communications Software and Systems

Formalization and Refinement Proof for Embedded Systems

2020 · Asma Bezza, Elkamel Merah, et al. · International Symposium Informatics and its Applications

Works count: 2

Citation count:

H-index:

I10-index: