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
Mar-2013Alloy meets the algebra of programming: a case studyOliveira, José Nuno Fonseca; Ferreira, Miguel A.ArtigoAcesso 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
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArtigoAcesso aberto
Dez-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C.; Curzon, PaulArtigoAcesso 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
2008Exploring an option space to engineer a ubiquitous computing systemHarrison, Michael D.; Kray, Christian; Campos, J. CreissacArtigoAcesso aberto
Ago-2001Model checking interactor specificationsCampos, J. Creissac; Harrison, M. D.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
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C.; Curzon, P.ArtigoAcesso aberto
1-10 de um total de 11 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir