ListarInvestigación y Desarrollo por tema "UML Sequence Diagrams"
Mostrando ítems 1-1 de 1
-
Article
An Spin / Promela application for model checking UML sequence diagrams (2020)
(Science and Information Organization, 2018)
Mostrando ítems 1-1 de 1