Conference Papers
Year :
Abdelouahed ZAKARI : Connect in order to contact the contributor
https://hal.univ-lorraine.fr/hal-03235579
Submitted on : Tuesday, May 25, 2021-7:35:45 PM
Last modification on : Tuesday, May 25, 2021-7:35:45 PM
Cite
Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari. Systematic verification of embedded components with re-usable properties. 2017 International Conference on Wireless Networks and Mobile Communications (WINCOM), Nov 2017, Rabat, Morocco. pp.1-7, ⟨10.1109/WINCOM.2017.8238182⟩. ⟨hal-03235579⟩
Collections
20
View
0
Download