Atención:
"Nuestra plataforma recopila información disponible públicamente en los diversos perfiles en los que participa la comunidad UCN. Si identifica errores u omisiones, le agradecemos que nos comunique sus observaciones ciencia.abierta@ucn.cl."
An spin / PrOMELA algorithm proposal for the analysis and errors diagnosis in UML sequence diagrams,Una propuesta de algoritmo spin / promela para el análisis y diagnóstico de errores en diagramas de secuencia UML
Artículo editorial
