Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 17 resultados (tempo de pesquisa: 0.016 segundos).
DataTítuloAutor(es)TipoAcesso
Jul-2004Análise de usabilidade baseada em modelosCampos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Ago-2003Uma abordagem formal à engenharia da usabilidadeCampos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2003Using task knowledge to guide interactor specifications analysisCampos, J. CreissacCapítulo de livroAcesso aberto
Ago-2001Model checking interactor specificationsCampos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
2010Model-checking temporal properties of real-time HTL programsCarvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa; Sousa, Simão Melo deArtigo em ata de conferênciaAcesso aberto
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
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArtigoAcesso aberto
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C.; Curzon, P.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
Mar-2013Alloy meets the algebra of programming: a case studyOliveira, José Nuno Fonseca; Ferreira, Miguel A.ArtigoAcesso aberto
1-10 de um total de 17 resultados (tempo de pesquisa: 0.016 segundos).

Descobrir