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
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J.; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2013A pilot project on non-conventional learningFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013Towards a mostly-automated prover for bit-vector arithmeticAbal, Iago; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2017Avaliação de usabilidade da ferramenta uCatCouto, Rui; Ribeiro, António Nestor; Campos, José C.Resumo em ata de conferência Acesso aberto
2017Um editor tabular para modelação de interfacesMachado, Pedro; Couto, Rui; Campos, José C.Resumo em ata de conferência Acesso aberto
2017De requisitos a protótipos de UI: uma abordagem semi automatizadaCouto, Rui; Ribeiro, António Nestor; Campos, José C.Resumo em ata de conferência Acesso aberto
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi; Oliveira, José M. Parente; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2011Gestão e manutenção de múltiplos terminais em redes de próxima geraçãoGomes, Alberto; Azevedo, Ricardo; Carvalho, Paulo; Ribeiro, António NestorResumo em ata de conferência Acesso aberto
1-10 de um total de 11 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir