An Spin / Promela Application for Model checking UML Sequence Diagrams
Vidal-Silva, Cristian L., Villarroel, Rodolfo, Rubio, Jos´e, Johnson, Franklin, Madariaga, Erika, Campos, Camilo, Carter, Luis
Published in International journal of advanced computer science & applications (2018)
Published in International journal of advanced computer science & applications (2018)
Get full text
Journal Article