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]
Abstract is missing.