Search Results - MENCHACA GARCIA, Felipe R

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra de procesos

    LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra... by CORTES GALICIA, Jorge, MENCHACA GARCIA, Felipe R, MENCHACA MENDEZ, Rolando

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    LeGESD: Un marco de trabajo para la especificacion y validacion formal de sistemas concurrentes y distribuidos basado en un lenguaje grafico con semantica sustentada en el algebra de procesos/LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics

    LeGESD: Un marco de trabajo para la especificacion y validacion formal de sistemas concurrentes y distribuidos basado en un lenguaje grafico con semantica sustentada en el algebra... by Galicia, Jorge Cortes, Menchaca Garcia, Felipe R, Mendez, Rolando Menchaca

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics

    LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics by Cortés Galicia, Jorge, Menchaca García, Felipe M., Menchaca Méndez, Rolando

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra de procesos/LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics

    LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra... by Galicia, Jorge Cortés, García, Felipe R Menchaca, Méndez, Rolando Menchaca

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: