Skip to Main content Skip to Navigation
Conference papers

Systematic verification of embedded components with re-usable properties

Document type :
Conference papers
Complete list of metadata

https://hal.univ-lorraine.fr/hal-03235579
Contributor : Abdelouahed Zakari <>
Submitted on : Tuesday, May 25, 2021 - 7:35:45 PM
Last modification on : Tuesday, May 25, 2021 - 7:35:45 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

21