An Spin / Promela application for model checking UML sequence diagrams Artículo editorial

autores

Vidal Silva, Cristián L.

Estado

Publicado

fecha de publicación

2018

Publicado en

International Journal of Advanced Computer Science and Applications Revista

Identificador de objeto digital (DOI)

https://doi.org/10.14569/ijacsa.2018.091071