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]
@inproceedings{EljadiriA18,
title = {A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela},
author = {Lamia Eljadiri and Ismail Assayad},
year = {2018},
doi = {10.1145/3289100.3289125},
url = {https://doi.org/10.1145/3289100.3289125},
researchr = {https://researchr.org/publication/EljadiriA18},
cites = {0},
citedby = {0},
pages = {154-157},
booktitle = {Proceedings of the 2nd International Conference on Smart Digital Environment, ICSDE 2018, Rabat, Morocco, October 18-20, 2018},
editor = {Faissal El Bouanani and Ahmed Habbani},
publisher = {ACM},
isbn = {978-1-4503-6507-9},
}