Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 11 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2004Verifying user interface behaviour with model checkingCampos, J. Creissac; Harrison, M. D.; Loer, KarstenArtigo em ata de conferênciaAcesso aberto
1999Using automated reasoning in the design of an audio-visual communication systemCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2005Is there a role for rigorous system analysis in experience experience centred design?Harrison, M. D.; Doherty, Gavin J.; Campos, J. CreissacComunicação oral Acesso aberto
16-Nov-2010The APEX framework: prototyping of ubiquitous environments based on Petri NetsSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac; Fernandes, João M.; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
Dez-2000Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
1998The role of verification in interactive systems designCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2011Modelling and analysing the interactive behaviour of an infusion pumpCampos, J. Creissac; Harrison, Michael D.ArtigoAcesso aberto
1998Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
Ago-2001Model checking interactor specificationsCampos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
1-10 de um total de 11 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir