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

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	Jorge Cortés Galicia
Formato:	Artículo científico
Lenguaje:	es
Publicado:	Universidad de Antioquia 2012
Materias:	Ingeniería Especificación álgebra de procesos sistemas distribuidos
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet