Mostrando
1 - 3
resultados de
3
para a busca '
Moreira, Anamaria Martins
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Moreira, Anamaria Martins
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 3
resultados de
3
para a busca '
Moreira, Anamaria Martins
'
, tempo de busca: 0,01s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
JCML: A specification language for the runtime verification of Java Card programs
por
Moreira
,
Anamaria
Martins
Publicado em 2010
Acessar documento
Artigo
2
Introdução a métodos formais : especificação, semântica e verificação de sistemas concorrentes
por
Déharbe, David
Publicado em 2000
Outros Autores:
“
...
Moreira
,
Anamaria
Martins
...
”
Acessar documento
Artigo
3
Specification and Runtime Verification of Java Card Programs
por
Costa, Umberto Souza da
Publicado em 2009
Outros Autores:
“
...
Moreira
,
Anamaria
Martins
...
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...