Exploració per autor "García Hoffmann, Miguel"

Ara es mostren els items 1-3 de 3

    • Técnicas para la descripción formal y verificación de protocolos 

      García Hoffmann, Miguel (Universitat Politècnica de Barcelona. Centre de Càlcul, 1979-12)
      Article
      Accés obert
      Diversos autores han propuesto técnicas para la especificación de protocolos de comunicación. En este artículo se consideran los trabajos más significativos realizados hasta la fecha en este campo. Se presentan primeramente ...

    • Un método para la especificación y validación de la estructura lógica de los protocolos de comunicación 

      García Hoffmann, Miguel (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-03)
      Article
      Accés obert
      En este trabajo se presentan dos aspectos de una metodología nueva de diseño de protocolos, concretamente, los referentes a la especificación y validación de la estructura lógica de protocolos de comunicación. Para ...

    • Verificación de procesos concurrentes: un método formal y un caso de aplicación 

      García Hoffmann, Miguel (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
      Article
      Accés obert
      En este trabajo se propone una nueva tècnica para la verificación de programas concurrentes. Para realizar la verificación se parte de la descripción LDP de los procesos. El método requiere expresar en una relación de ...