Criterios formales para el desarrollo, implementación y uso de soluciones de IA dentro del Instituto.