Busca Avançada

Navegando por Autor http://lattes.cnpq.br/0465071050875729

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 1 a 4 de 4
Data do documentoTítuloAutor(es)
15-Jul-2021Verificação de deadlock e não-determinismo em ações de SysML 2.0Lima, Lucas Albertins de; Ribeiro Júnior, Amaury Tavares; http://lattes.cnpq.br/5978273506894399; http://lattes.cnpq.br/0465071050875729
4-Out-2022Verificação de modelos comportamentais UML como um serviço habilitando a aplicação de métodos formais ocultosLima, Lucas Albertins de; Cavalcanti, Paulo Henrique Nascimento; http://lattes.cnpq.br/7089611179473920; http://lattes.cnpq.br/0465071050875729
27-Mai-2022Verificação de propriedades de diagramas de atividade em um ambiente de modelagem aberto com suporte a rastreabilidadeLima, Lucas Albertins de; Silva Filho, Renato Cavalcanti Domingues da; http://lattes.cnpq.br/4996480197238824; http://lattes.cnpq.br/0465071050875729
2019Verificação de refinamento em diagramas de sequência com estruturas de controleLima, Lucas Albertins de; Araújo, Daniel José Freire de; http://lattes.cnpq.br/5219541109924367; http://lattes.cnpq.br/0465071050875729
Mostrando resultados 1 a 4 de 4