Bibliographic Details
| Title: |
Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML. |
| Alternate Title: |
An Spin / Promela Algorithm Proposal for the Analysis and Errors Diagnosis in UML Sequence Diagrams. |
| Authors: |
Vidal-Silva, Cristian L.1,2 cristian.vidal@uvm.cl, Villarroel, Rodolfo H.3 rodolfo.villarroel@pucv.cl, López-Cortés, Xaviera A.4 xlopez@ucm.cl, Rubio, José M.5 jrubiol@inacap.cl |
| Source: |
Información Tecnológica. 2019, Vol. 30 Issue 1, p263-272. 10p. |
| Database: |
Academic Search Ultimate |
