Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML

Cristian L. Vidal-Silva, Rodolfo H. Villarroel, Xaviera A. López-Cortés, José M. Rubio
2019 Información Tecnológica  
Autor a quien debe ser dirigida la correspondencia
doi:10.4067/s0718-07642019000100263 fatcat:qyydjpoatnfibgzupszwalz3tq