BOUTEKKOUK, Fateh. Formal Specification and Verification of Communication in Network-On-Chip: An Overview. International Journal of Recent Contributions from Engineering, Science & IT (iJES), [S. l.], v. 6, n. 4, p. pp. 15–31, 2018. DOI: 10.3991/ijes.v6i4.9416. Disponível em: https://online-journals.org/index.php/i-jes/article/view/9416. Acesso em: 18 jul. 2024.