Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-7 de um total de 7 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2016Modelling information resources and their salience in medical device designHarrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas; Curzon, PaulArtigo em ata de conferênciaAcesso aberto
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArtigoAcesso aberto
1-Jan-2017A hazard analysis method for systematic identification of safety requirements for user interface software in medical devicesMasci, Paolo; Zhang, Yi; Jones, Paul; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2017Demonstrating that medical devices satisfy user related safety requirementsHarrison, Michael douglas; Masci, Paolo; Campos, José C.; Curzon, PaulArtigo em ata de conferênciaAcesso aberto
2011Modelling and analysing the interactive behaviour of an infusion pumpCampos, J. Creissac; Harrison, Michael D.ArtigoAcesso aberto
2017Safety analysis of software components of a dialysis machine using model checkingHarrison, Michael douglas; Drinnan, M.; Campos, José C.; Masci, Paolo; Freitas, L.; Di Maria, C.; Whitaker, M.Artigo em ata de conferênciaAcesso aberto
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C.; Curzon, P.ArtigoAcesso aberto
1-7 de um total de 7 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir