Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 238 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Abr-2015Exploring scenario explorationMacedo, Nuno Filipe Moreira; Cunha, Alcino; Guimarães, Tiago Miguel MoreiraArtigo em ata de conferênciaAcesso aberto
2016Least - change bidirectional model transformation With QVT- R and ATLMacedo, Nuno Filipe Moreira; Cunha, AlcinoArtigoAcesso aberto
2014Generating attribute grammar-based bidirectional transformations from rewrite rulesFernandes, João Paulo; Wyk, Eric Van; Saraiva, João Alexandre; Martins, Pedro Miguel RibeiroArtigo em ata de conferênciaAcesso aberto
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014A compositional model to reason about end-to-end QoS in stochastic reo connectorsArbab, Farhad; Moon, Young-Joo; Silva, Alexandra M.; Krause, ChristianArtigoAcesso aberto
2014Collaborative and privacy-aware sensing for observing urban movement patternsGonçalves, Nelson; José, Rui; Baquero, CarlosArtigo em ata de conferênciaAcesso restrito UMinho
2011Improving the scalability of cloud-based resilient database serversSoares, L.; Pereira, José, 1973-Artigo 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
2014Towards a runtime verification framework for the Ada Programming LanguagePedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2010A coordination model for interactive componentsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
21-30 de um total de 238 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir