lucas albertins de lima

DC - DEPARTAMENTO DE COMPUTAÇÃO-DC

Produção Intelectual

Trabalho de Fim de Curso(1)

  • Verifying deadlock and nondeterminism of UML/SysML state machines integrated with activities, DIEGO SOARES PIRES FERREIRA , 02/2024

SIGAA | Secretaria de Tecnologias Digitais (STD) - https://servicosdigitais.ufrpe.br/help | Copyright © 2006-2024 - UFRN - producao-jboss12.producao-jboss12 v4.12.6-10