Estudios metalograficos de los diferentes tipos de corrosion: profundidad de los focos de ataque preferente.
Tesis doctoral de Pedro Merino Gomez La tesis estudia la relacion que existe entre la profundidad de los focos de […]
Tesis doctoral de Pedro Merino Gomez
Información academica Pedro Merino Gomez. Tesis donde Pedro Merino Gomez ha sido autor, director o parte del tribunal.
Medistam-rt: metodología de diseño y análisis de sistemas de tiempo real
Tesis doctoral de Kawtar Benghazi Akhlaki La complejidad creciente de los sistemas de tiempo real (str) hace cada vez más
Nuevas formas de impulsar el desarrollo industrial y la innovacion tecnologica. aplicación al caso gallego.
Tesis doctoral de Alfonso Mandado Vazquez Esta tesis se realizo, debido al interes cada vez mayor en temas relacionados con
Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos
Tesis doctoral de Jesús Martinez Cruz En este trabajo de tesis se aborda el uso de tecnologías xml y mda
Control de la corrosion del acero en hormigon: agentes quimicos y factores mecanicos
Tesis doctoral de Belen Diaz Fernandez Uno de los aspectos analizados en este trabajo ha sido la posibilidad de emplear
Filtrado de respuetas parciales en arquitecturas de recuperación de información distribuidas
Tesis doctoral de Puentes Calvo Juan Francisco El gran incremento del volumen de información disponible en línea desde hace unas
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas
Integración de análisis de tiempo real en la técnica de descripción formal sdl
Tesis doctoral de Luis Manuel Llopis Torres El presente trabajo propone la utilización de técnicas de descripción formal (tdf) para
Formal methods for the analysis of security protocols
Tesis doctoral de María De Los Llanos Tobarra Abad Los sistemas informáticos que aparecen en la actualidad se encuentran orientados
Estudio de atmósferas especiales para el control de la producción de whiskers de alpha-al203 por vls
Tesis doctoral de Carmen Cerecedo Fernández La presente tesis doctoral aborda el estudio de las condiciones idóneas para el control