Listar Investigación y Desarrollo por autor "Campos C."
Mostrando ítems 1-1 de 1
-
Article
An Spin / Promela application for model checking UML sequence diagrams (2020)
Vidal-Silva C.L.; Villarroel R.; Rubio J.; Johnson F.; Madariaga E.; Campos C.; Carter L. (Science and Information Organization, 2018)