الرئيسية › دليل الباحثين › Asma Bezza

Asma Bezza

الانتماء : Larbi Ben M'hidi University of Oum El Bouaghi

• 2منشورات (انتماء جزائري)
• 2مجموع المنشورات
• 0الاستشهادات

OpenAlex

مجالات البحث

• Logic, programming, and type systems
• Formal Methods in Verification
• Embedded Systems Design Techniques
• Petri Nets in System Modeling

المنشورات (2)

• Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm
  2025 · Journal of Communications Software and Systems
• Formalization and Refinement Proof for Embedded Systems
  2020 · International Symposium Informatics and its Applications

المؤلفون المشاركون

• Toufik Messaoud Maarouk
• Rohallah Benaboud
• Elkamel Merah

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).