Alemán-Arce, M. A. ., Mendoza-Acevedo, S. y Oliva-Moreno, L. N. (2024) «Verificación Funcional de sistemas digitales descritos en HDL mediante ambientes UVM basado en agentes», Pädi Boletín Científico de Ciencias Básicas e Ingenierías del ICBI, 12(Especial4), pp. 1–6. doi: 10.29057/icbi.v12iEspecial4.13286.