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 |
|---|---|
| Principais autores: | , , |
| פורמט: | Artigo |
| שפה: | Espanhol |
| יצא לאור: |
Universidad de Antioquia
2012
|
| נושאים: | |
| גישה מקוונת: | https://www.redalyc.org/articulo.oa?id=43025100011 |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|