Verificación difusa en línea de sistemas de tiempo real y análisis de su incertidumbre
Tesis doctoral de Joaquin Perez Marquez Esta tesis presenta el leguaje de especificación ftl-cfree, que extiende la lógica temporal con […]
Tesis doctoral sobre Sistemas automatizados de produccion
Accede a todas las tesis doctorales sobre Sistemas automatizados de produccion mas relevantes.
Estimación de la forma de un objeto deformable mediante integración de visión y tacto
Tesis doctoral de Esteban Del Castillo Pérez Desde hace varias décadas los robots industriales han demostrado su eficiencia para tareas
Functional size measurement and model verification for software model-driven developments: a cosmic-based approach
Tesis doctoral de Beatriz Mariela Marín Campusano Historically, software production methods and tools have a unique goal: to produce high
Supporting automatic interoperability in model-driven development processes
Tesis doctoral de Giovanni Andrés Giachetti Herrera When the last few years of software development evolution are analyzed, it can
Desarrollo de un servicio de notificacion de cambios de una base de datos de gestion de la configuracion mediante programacion generativa
Tesis doctoral de José Ramon Coz Fernandez La importancia de una gestión rentable orientada a los usuarios y de la
Metodología para el uso de los niveles de gris en verificación de firmas manuscritas
Tesis doctoral de Jesús Francisco Vargas Bonilla Isbn:? 978-84-694-4972-1 Datos académicos de la tesis doctoral «Metodología para el uso
Nuevos métodos de trazabilidad de productos aplicados a la manipulación de materiales en producción y logística
Tesis doctoral de Julio Cesar Encinas Alvarado La globalización, aunada a otros factores, ha originado un conjunto de transformaciones en
Inteligencia artificial para la prediccion y control del acabado superficial en procesos de fresado a alta velocidad
Tesis doctoral de Maritza Correa Valencia El objetivo principal de esta tesis doctoral es profundizar en el análisis y diseño
El uso de los metadatos para el desarrollo de un modelo de interoperabilidad para las infraestructuras de datos espaciales
Tesis doctoral de Miguel ángel Manso Callejo Se propone un modelo de interoperabilidad basado en los metadatos para las infraestructuras
Clasificadores bayesianos en la seleccion embrionaria en tratamientos de reproduccion asistida
Tesis doctoral de Dinora Araceli Morales Vega Durante los últimos años se ha incrementado la aplicación de tecnologías computacionales, basadas