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
Pesquisar por Assunto
DIMAP - Departamento de Informática e Matemática Aplicada
URI Permanente desta comunidade
https://repositorio.ufrn.br/handle/1/140
Navegar
Sub-Comunidade e Coleções
Por Data de Publicação
Por Autor
Por Título
Por Assunto
Por categoria de assunto
Sub-Comunidade e Coleções
Por Data de Publicação
Por Autor
Por Título
Por Assunto
Por categoria de assunto
Navegando DIMAP - Departamento de Informática e Matemática Aplicada por Assunto "Java Card."
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
