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
La especificación y validación formal de sistemas distribuidos es en general una tarea compleja debido a que requiere conocimientos profundos tanto en el área de teoría de algoritmos, como en el modelado de sistemas concurrentes o distribuidos. En este contexto, presentamos LeGESD, un marco de trab...
محفوظ في:
| الحاوية / القاعدة: | Revista Facultad de Ingeniería Universidad de Antioquia |
|---|---|
| المؤلفون الرئيسيون: | , , |
| التنسيق: | Artigo |
| اللغة: | Espanhol |
| منشور في: |
Universidad de Antioquia
2012
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.redalyc.org/articulo.oa?id=43025100011 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|