Home › Researcher directory › Asma Bezza
Asma Bezza
Affiliation : Larbi Ben M'hidi University of Oum El Bouaghi
- 2Publications (affiliation in Algeria)
- 2Total publications
- 0Citations
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- Logic, programming, and type systems
- Formal Methods in Verification
- Embedded Systems Design Techniques
- Petri Nets in System Modeling
Publications (2)
- Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm
- Formalization and Refinement Proof for Embedded Systems
Co-authors
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.