Showing 1 - 2 results of 2 for search 'Juan Francisco Díaz Frías', query time: 0.03s Refine Results
  1. 1
    Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo −Parq

    Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo −Parq by Henry Alberto Diosa, Juan Francisco Díaz Frías, Carlos Mauricio Gaona Cuevas

    Published 2011-08-01
    Get full text
    Article
  2. 2
    Towards Formal Interaction-Based Models of Grid Computing Infrastructures

    Towards Formal Interaction-Based Models of Grid Computing Infrastructures by Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz-Frias

    Published 2014-03-01
    Get full text
    Article

Search Tools: