Systematic verification of embedded components with re-usable properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari. Systematic verification of embedded components with re-usable properties. In International Conference on Wireless Networks and Mobile Communications, WINCOM 2017, Rabat, Morocco, November 1-4, 2017. pages 1-7, IEEE, 2017. [doi]

This author has not been identified. Look up 'Ismail Assayad' in GoogleThis author has not been identified. Look up 'Lamia Eljadiri' in GoogleThis author has not been identified. Look up 'Abdelouahed Zakari' in Google

runs on WebDSL