{"id":46115,"date":"2019-09-11T21:26:26","date_gmt":"2019-09-11T21:26:26","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/aportacion-al-estudio-de-la-descripcion-validacion-y-verificacion-de-protocolos-de-comunicacion\/"},"modified":"2019-09-11T21:26:26","modified_gmt":"2019-09-11T21:26:26","slug":"aportacion-al-estudio-de-la-descripcion-validacion-y-verificacion-de-protocolos-de-comunicacion","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/aportacion-al-estudio-de-la-descripcion-validacion-y-verificacion-de-protocolos-de-comunicacion\/","title":{"rendered":"Aportacion al estudio de la descripcion, validacion y verificacion de protocolos de comunicacion."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Miguel Garcia Hoffmann <\/strong><\/h2>\n<p>En esta tesis se desarrolla un sistema formal para la descripcion y verificacion de protocolos de comunicacion.  para la descripcion se crea un lenguaje descriptivo de alto nivel. La validacion se basa en la construccion de un arbol de ejecucion y para la verificacion se genera mediante ejecucion simbolica  un arbol de prueba para cada punto de paro de la relacion de simulacion. El resultado de este trabajo es un metodo definicion validacion y verificacion de protocolos que se compara favorablemente con los sistemas actualmente existentes.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Aportacion al estudio de la descripcion, validacion y verificacion de protocolos de comunicacion.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Aportacion al estudio de la descripcion, validacion y verificacion de protocolos de comunicacion. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Miguel Garcia Hoffmann <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de catalunya<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1979<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Gabriel Ferrat\u00e9 Pascual<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Gabriel Ferrat\u00e9 Pascual <\/li>\n<li>Manuel Marti Recober (vocal)<\/li>\n<li>Carlos Angulo Carranza (vocal)<\/li>\n<li>Ram\u00f3n Puigjaner Trepat (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Miguel Garcia Hoffmann En esta tesis se desarrolla un sistema formal para la descripcion y verificacion de [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1890,4149,13880,126,15596],"tags":[109693,15968,47781,110792,30365],"class_list":["post-46115","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-informatica","category-matematicas","category-politecnica-de-catalunya","tag-carlos-angulo-carranza","tag-gabriel-ferrate-pascual","tag-manuel-marti-recober","tag-miguel-garcia-hoffmann","tag-ramon-puigjaner-trepat"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/46115","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=46115"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/46115\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=46115"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=46115"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=46115"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}