عبير بيطاط
...
أستاذة محاضرة
Univ. Constantine 2
الفريق : SCAL
CV

Research Gate DBLP LinkedIn
التفاصيل
المنشورات
Abir Bitat; Salah Merniz
Towards formal verification of cryptographic circuits: A functional approach. 3rd Int. Conf. on Pattern Analysis and Intelligent Systems (PAIS"18): 1-6 (2018)
أطروحة الدكتوراه جارية
عبير بيطاط
Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle. Université Constantine 2, Algérie