Salah MERNIZ
Details
| Publications |
|---|
|
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) |
| PhD thesis |
|---|
|
Salah Merniz
Méthodologie de vérification formelle pour les micro-architectures RISC : Approche fonctionnelle. Université Mentouri de Constantine, Algérie (2008) |
No module to display.
| PhD student | Title | |
|---|---|---|
| Bitat Abir | Méthodologie de vérification formelle des circuits cryptographiques : Approche fonctionnelle | |
| Guerza Soufyane | Optimizing Vehicular traffic management: A SDN based Approach |
No training period to display.
No software to display.