Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 76 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 kernel density estimate-based approach to component goodness modelingAbreu, Rui; Cardoso, NunoArtigo em ata de conferênciaAcesso aberto
Mai-2013Calculating fault propagation in functional programsMurta, Daniel R.; Oliveira, José Nuno FonsecaRelatórioAcesso aberto
6-Mai-2013Causality tracking for disconnected and semi-connected distributed systemsFonte, VictorLivroAcesso restrito UMinho
6-Mai-2013Logical clock systems and the challenges of autonomous operationFonte, VictorLivroAcesso restrito UMinho
2013Multi-interval discretization of continuous attributes for label rankingSá, Cláudio Rebelo de; Soares, Carlos; Knobbe, Arno; Azevedo, Paulo J.; Jorge, Alípio MárioArtigo em ata de conferênciaAcesso aberto
2013Weighted automata as coalgebras in categories of matricesOliveira, José Nuno FonsecaArtigoAcesso aberto
18-Mar-2013Broadcast cancellation in search mechanismsLima, R.; Baquero, Carlos; Miranda, HugoArtigo em ata de conferênciaAcesso aberto
2013Interactive verification of safety-critical softwareCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
Mar-2013Alloy meets the algebra of programming: a case studyOliveira, José Nuno Fonseca; Ferreira, Miguel A.ArtigoAcesso aberto
1-10 de um total de 76 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir