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

Related search