Mostrando
1 - 7
resultados de
7
para a busca '
Harrison, Michael douglas
'
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, Michael douglas
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 7
resultados de
7
para a busca '
Harrison, Michael douglas
'
, tempo de busca: 0,03s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Verification templates for the analysis of user interface software design
por
Harrison
,
Michael
douglas
Publicado em 2019
Acessar documento
Artigo
2
Automated theorem proving for the systematic analysis of an infusion pump
por
Harrison
,
Michael
douglas
Publicado em 2013
Acessar documento
Artigo
3
Formal techniques in the safety analysis of software components of a new dialysis machine
por
Harrison
,
Michael
douglas
Publicado em 2019
Acessar documento
Artigo
4
Verification of user interface software: the example of use-related safety requirements and programmable medical devices
por
Harrison
,
Michael
douglas
Publicado em 2017
Acessar documento
Artigo
5
Prototyping and analysing ubiquitous computing environments using multiple layers
por
Silva, José Luís Cardoso
Publicado em 2014
Outros Autores:
“
...
Harrison
,
Michael
Douglas
...
”
Acessar documento
Artigo
6
Formal verification of a space system's user Interface with the IVY workbench
por
Campos, José C.
Publicado em 2016
Outros Autores:
“
...
Harrison
,
Michael
douglas
...
”
Acessar documento
Artigo
7
Don't go in there!: using the APEX framework in the design of ambient assisted living systems
por
Campos, José C.
Publicado em 2017
Outros Autores:
“
...
Harrison
,
Michael
douglas
...
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...