صالح مغنيز
التفاصيل
| المنشورات |
|---|
|
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) |
|
|
Houda Hafi; Wahabou Abdou; Salah Merniz
Adaptive-Segmentation and Flexible-Delay Based Broadcasting Protocol for VANETs. 15th IFIP WG 6.2 Int. Conf. on Wired/Wireless Internet Communications (WWIC'17): 207-218 (2017) |
|
|
Houda Hafi; Wahabou Abdou; Salah Merniz
Impact of concurrent communications in geographical broadcasting protocols for vehicular ad hoc networks. 9th IEEE Latin-American Conf. on Communications (LATINCOM'17): 1-6 (2017) |
| أطروحة الدكتوراه |
|---|
|
صالح مغنيز
Méthodologie de vérification formelle pour les micro-architectures RISC : Approche fonctionnelle. Université Mentouri de Constantine, Algérie (2008) |
لا توجد مواد مدرّسة للعرض.
| طالب دكتوراه | العنوان | |
|---|---|---|
| بيطاط عبير | Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle | |
| قرزه سفيان | Optimizing Vehicular traffic management: A SDN based Approach |
لا توجد تدريبات للعرض.
لا توجد برامج للعرض.