عبير بيطاط
(+213) 553 22 31 53
عضو سابق
التفاصيل
| المنشورات |
|---|
|
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 |
لا توجد مواد مدرّسة للعرض.
لا يوجد طلبة دكتوراه للعرض.
لا توجد تدريبات للعرض.
لا توجد برامج للعرض.