Listar GI-COLE - Congresos, conferencias, etc. por autor "Bernhard, R."

Mostrando ítems 1-2 de 2

    • Communication protocols verification with Esterel 

      Graña Gil, Jorge; Vilares Ferro, Manuel; Bernhard, R. (Computational Mechanics Publications, 1995)
      [Abstract] This work summarizes design, implementation and verification processes of a digital telephone switchboard in the Esterel real-time programming environment. Our aim is to show the modularity in the description ...

    • Verificación de conexiones telefónicas con esterel 

      Graña Gil, Jorge; Vilares Ferro, Manuel; Bernhard, R. (1995)
      [Resumen] El presente trabajo resume el proceso de diseño, implementación y verificación del comportamiento de una centralita telefónica digital en el entorno de programación de tiempo real síncrono Esterel. Nuestra intención ...