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 […]
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.
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
Eliminación de residuos sólidos (agroforestales y poliméricos) mediante la co-gasificación con carbón en lecho fluidizado con aire.
Tesis doctoral de Lanaja Del Busto Alfonso En esta tesis. Después de exponer el estado del arte de la co-gasificación
Una extensión markoviana del petri box calculus
Tesis doctoral de Hermenegilda Macia Soler Datos académicos de la tesis doctoral «Una extensión markoviana del petri box calculus«
Desarrollo de nuevas pastillas aleantes para la industria del aluminio.
Tesis doctoral de Aitor Gonzalez Arco La aportación de elementos aleantes en la industria del aluminio se realiza fundamentalmente, por
Corrosion de las armaduras en hormigon: estudio de los mecanismos de perdida de la pasividad y modos de actuacion para evitarla.
Tesis doctoral de M. Consuelo Pérez Vázquez La corrosión de las armaduras es uno de los principales factores que determinan
Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.
Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y
Estudio de los sistemas de proteccion de las superficies metalicas expuestas a la intemperie.
Tesis doctoral de Carmina Perez Perez Se estudiaron distintos sistemas de protección contra la corrosión («sistemas dúplex», acero galvanizado pintado)
Evolucion de las grandes escuelas quimicas.
Tesis doctoral de Longarela Lopez M. Elena Se estudia por primera vez el importante papel llevado a cabo por ciertos
Tecnicas electroquimicas aplicadas a la corrosion bajo tension de aceros inoxidables.
Tesis doctoral de Salvador Villagrasa Marin Esta tesis doctoral es un estudio del comportamiento del acero inoxidable austenitico tipo 304