El problema de los modelos CAD paramétricos de baja calidad en diseño de producto: Estudio industrial, metodologías de modelado formal y comprobador de calidad de alto nivel (Q-CAD)

Instituto Universitario de Investigación en Tecnología Centrada en el Ser Humano