Busca Avançada

Navegando por Autor Lima, Lucas Albertins de

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.0Ribeiro Júnior, Amaury Tavares
4-Out-2022Verificação de modelos comportamentais UML como um serviço habilitando a aplicação de métodos formais ocultosCavalcanti, Paulo Henrique Nascimento
27-Mai-2022Verificação de propriedades de diagramas de atividade em um ambiente de modelagem aberto com suporte a rastreabilidadeSilva Filho, Renato Cavalcanti Domingues da
2019Verificação de refinamento em diagramas de sequência com estruturas de controleAraújo, Daniel José Freire de
Mostrando resultados 1 a 4 de 4