Una Propuesta De Algoritmo Spin / Promela Para El Análisis Y Diagnóstico De Errores en Diagramas De Secuencia UML
Informacion Tecnologica - Chile
doi 10.4067/s0718-07642019000100263
Full Text
Open PDFAbstract
Available in full text
Categories
Date
February 1, 2019
Authors
Publisher
SciELO Agencia Nacional de Investigacion y Desarrollo (ANID)