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...
Uloženo v:
| Vydáno v: | Revista Facultad de Ingeniería Universidad de Antioquia |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Artigo |
| Jazyk: | Espanhol |
| Vydáno: |
Universidad de Antioquia
2012
|
| Témata: | |
| On-line přístup: | https://www.redalyc.org/articulo.oa?id=43025100011 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|