Mostrando
1 - 4
resultados de
4
para a busca '
Harrison, M. D.
'
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
Harrison, M. D.
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 4
resultados de
4
para a busca '
Harrison, M. D.
'
, tempo de busca: 0,04s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Automated theorem proving for the systematic analysis of interactive systems
por
Harrison
,
M
.
D
.
Publicado em 2013
Acessar documento
Artigo
2
Model checking interactor specifications
por
Campos, J. Creissac
Publicado em 2001
Outros Autores:
“
...
Harrison
,
M
.
D
....
”
Acessar documento
Artigo
3
Representational reasoning and verification
por
Doherty, Gavin J.
Publicado em 2000
Outros Autores:
“
...
Harrison
,
M
.
D
....
”
Acessar documento
Artigo
4
Don’t go in there! using the APEX framework in the design of ambient assisted living systems
por
Campos, J. C.
Publicado em 2017
Outros Autores:
“
...
Harrison
,
M
.
D
....
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...