Lamia Eljadiri, Ismail Assayad. A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela. In Faissal El Bouanani, Ahmed Habbani, editors, Proceedings of the 2nd International Conference on Smart Digital Environment, ICSDE 2018, Rabat, Morocco, October 18-20, 2018. pages 154-157, ACM, 2018. [doi]
Abstract is missing.