Mostrando
1 - 6
resultados de
6
para a busca '
Michael Douglas Harrison
'
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
Michael Douglas Harrison
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 6
resultados de
6
para a busca '
Michael Douglas Harrison
'
, tempo de busca: 0,13s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Automated theorem proving for the systematic analysis of an infusion pump
por
Michael
Douglas
Harrison
Publicado em 2013
Acessar documento
Artigo
2
Templates as heuristics for proving properties of medical devices
por
Michael
Douglas
Harrison
Publicado em 2016
Acessar documento (1)
Acessar documento (2)
Artigo
3
Analysing interactive devices based on information resource constraints
por
José Creissac Campos
Publicado em 2014
Outros Autores:
“
...
Michael
Douglas
Harrison
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
4
Prototyping and analysing ubiquitous computing environments using multiple layers
por
José Luís Silva
Publicado em 2014
Outros Autores:
“
...
Michael
Douglas
Harrison
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
5
Formal Verification of a Space System's User Interface With the IVY Workbench
por
José Creissac Campos
Publicado em 2016
Outros Autores:
“
...
Michael
Douglas
Harrison
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
6
A Virtual Environment based Serious Game to Support Health Education
por
Gomes,T
Publicado em 2014
Outros Autores:
“
...
Michael
Douglas
Harrison
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
Exportar CSV
Exportar RIS
Carregando...