Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-40 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2019Verification templates for the analysis of user interface software designHarrison, Michael douglas; Masci, Paolo; Campos, José C.ArtigoAcesso aberto
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison, Michael douglas; Freitas, Leo; Drinnan, Michael; Campos, José C.; Masci, Paolo; di Maria, Costanzo; Whitaker, MichaelArtigoAcesso aberto
2008Systematic analysis of control panel interfaces using formal toolsCampos, José C.; Harrison, Michael douglasArtigo 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
2018Formal modelling as a component of user centred designHarrison, Michael Douglas; Masci, Paolo; Campos, José C.Artigo em ata de conferênciaAcesso aberto
1998The role of verification in interactive systems designCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2012Modelling and systematic analysis of interactive systemsHarrison, Michael D.; Masci, Paolo; Campos, J. Creissac; Thomas, NigelArtigo em ata de conferênciaAcesso aberto
2011Modelling and analysing the interactive behaviour of an infusion pumpCampos, J. Creissac; Harrison, Michael D.ArtigoAcesso aberto
2008Considering context and users in interactive systems analysisCampos, J. Creissac; Harrison, Michael D.Artigo em ata de conferênciaAcesso aberto
Abr-2016Formal verification of a space system's user Interface with the IVY workbenchCampos, José C.; Sousa, Manuel; Alves, Miriam C. Bergue; Harrison, Michael douglasArtigoAcesso aberto
31-40 de um total de 44 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir