Verificación funcional de un controlador de memoria para un dispositivo médico implantable. - Rodríguez-Mejía, Jean Carlo (J. C. Rodriguez M., 2018)