Un método para la especificación y validación de la estructura lógica de los protocolos de comunicación
Article Sidebar
Main Article Content
Article Details
Com citar
García Hoffmann, Miguel. «Un método para la especificación y validación de la estructura lógica de los protocolos de comunicación». Qüestiió: quaderns d’estadística i investigació operativa, 1980, vol.VOL 4, núm. 1, p. 23-45, http://raco.cat/index.php/Questiio/article/view/26352.
Articles més llegits del mateix autor/a
- Miguel García Hoffmann, Verificación de procesos concurrentes. Un método formal y un caso de aplicación , Qüestiió: quaderns d'estadística i investigació operativa: 1980: Vol.: 4 Núm.: 3
- Miguel García Hoffmann, Técnicas para la descripción formal y verificación de protocolos , Qüestiió: quaderns d'estadística i investigació operativa: 1979: Vol.: 3 Núm.: 4