root.skip-to-content
Página Inicial
(current)
Buscar
Por Data de Publicação
Por Autor
Por Título
Por Assunto
Tutoriais
Documentos
Sobre o RI
Eventos
Repositório Institucional da UFRN: 15 anos de conexão com o conhecimento
Padrão
Amarelo
Azul
Verde
English
Português do Brasil
Entrar
SIGAA
Entrar
Início
Centro de Ciências Exatas e da Terra
DIMAP - Departamento de Informática e Matemática Aplicada
CCET - DIMAP - Artigos publicados em periódicos
Pesquisar por Autor
CCET - DIMAP - Artigos publicados em periódicos
URI Permanente para esta coleção
https://repositorio.ufrn.br/handle/1/2983
Navegar
Submissões Recentes
Por Data de Publicação
Por Autor
Por Título
Por Assunto
Por categoria de assunto
Submissões Recentes
Por Data de Publicação
Por Autor
Por Título
Por Assunto
Por categoria de assunto
Navegando CCET - DIMAP - Artigos publicados em periódicos por Autor "Costa, Umberto Souza da"
Pesquisar
Filtrar resultados informando as primeiras letras
Todos os resultados
Agora exibindo
1 - 2 de 2
Resultados por página
1
5
10
20
40
60
80
100
Opções de Ordenação
Ascendente
Descendente
Carregando...
Artigo
JCML: A specification language for the runtime verification of Java Card programs
(
Elsevier
,
2010-03-19
)
Moreira, Anamaria Martins
;
Costa, Umberto Souza da
;
Musicante, Martin A.
;
Souza Neto, Plácido A.
Mostrar mais
Carregando...
Artigo
Specification and Runtime Verification of Java Card Programs
(
Elsevier
,
2009
)
Costa, Umberto Souza da
;
Moreira, Anamaria Martins
;
Musicante, Martin A.
;
Souza Neto, Plácido A.
Mostrar mais
