Mostrando
1 - 12
resultados de
12
para a busca '
Paolo Masci
'
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
Paolo Masci
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 12
resultados de
12
para a busca '
Paolo Masci
'
, tempo de busca: 0,03s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
por
Paolo
Masci
Publicado em 2015
Acessar documento (1)
Acessar documento (2)
Artigo
2
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
por
Paolo
Masci
Publicado em 2016
Acessar documento (1)
Acessar documento (2)
Artigo
3
Using PVS to support the analysis of distributed cognition systems
por
Paolo
Masci
Publicado em 2015
Acessar documento (1)
Acessar documento (2)
Artigo
4
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
por
Bernardeschi,C
Publicado em 2017
Outros Autores:
“
...
Paolo
Masci
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
5
Towards a Formalization of System Requirements for an Integrated Clinical Environment
por
Bernardeschi,Cinzia
Publicado em 2016
Outros Autores:
“
...
Paolo
Masci
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
6
Reusing models and properties in the analysis of similar interactive devices
por
Harrison,MichaelD.
Publicado em 2015
Outros Autores:
“
...
Paolo
Masci
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
7
Automated theorem proving for the systematic analysis of an infusion pump
por
Michael Douglas Harrison
Publicado em 2013
Outros Autores:
“
...
Paolo
Masci
...
”
Acessar documento
Artigo
8
Templates as heuristics for proving properties of medical devices
por
Michael Douglas Harrison
Publicado em 2016
Outros Autores:
“
...
Paolo
Masci
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
9
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices
por
Harrison,MD
Publicado em 2017
Outros Autores:
“
...
Paolo
Masci
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
10
Issues in number entry user interface styles: Recommendations for mitigation
por
Thimbleby,Harold
Publicado em 2016
Outros Autores:
“
...
Paolo
Masci
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
11
IWC Special Issue in Human Factors and Interaction Design for Critical Systems
por
Tu,H
Publicado em 2016
Outros Autores:
“
...
Paolo
Masci
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
12
Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context
por
Furniss,Dominic
Publicado em 2015
Outros Autores:
“
...
Paolo
Masci
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
Exportar CSV
Exportar RIS
Carregando...