Systematic verification of embedded components with re-usable properties - Université de Lorraine
Communication Dans Un Congrès Année : 2017

Systematic verification of embedded components with re-usable properties

Fichier non déposé

Dates et versions

hal-03235579 , version 1 (25-05-2021)

Identifiants

Citer

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

UNIV-LORRAINE
24 Consultations
0 Téléchargements

Altmetric

Partager

More