Amina Zerdani, Fateh Boutekkouk, Lakhdar Derdouri. Formal Specification of On-Chip Communications State Of The Art. In Mohamed Ridda Laouar, Antonio Capodieci, editors, ICIST '20: 10th International Conference on Information Systems and Technologies, Lecce, Italy, 4-5June, 2020. ACM, 2020. [doi]
Abstract is missing.