Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 25 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2013Interactive verification of safety-critical softwareCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArtigoAcesso aberto
2013A framework for modular and customizable software analysisMartins, Pedro; Carvalho, Nuno; Fernandes, João Paulo; Almeida, José João; Saraiva, JoãoArtigo em ata de conferênciaAcesso aberto
2013Integrating formal and informal learning through a FLOSS-based innovative approachFernandes, Sara; Martinho, Maria Helena; Barbosa, L. S.; Cerone, AntonioArtigo em ata de conferênciaAcesso aberto
2013Verifying bigraphical models of architectural reconfigurationsSanchez, Alejandro; Barbosa, L. S.; Riesco, DanielArtigo em ata de conferênciaAcesso aberto
2013When even the interface evolves...Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
14-Nov-2013Depth cues and perceived audiovisual synchrony of biological motionSilva, Carlos; Mendonça, Catarina; Mouta, Sandra; Silva, Rosa; Campos, J. Creissac; Santos, Jorge A.ArtigoAcesso aberto
Nov-2013Towards an accurate evaluation of deduplicated storage systemsPaulo, João; Reis, Pedro; Pereira, José; Sousa, António LuísArtigoAcesso aberto
2013Typing linear algebra : a biproduct-oriented approachMacedo, Hugo Daniel; Oliveira, José Nuno FonsecaArtigoAcesso aberto
2013Weighted automata as coalgebras in categories of matricesOliveira, José Nuno FonsecaArtigoAcesso aberto
1-10 de um total de 25 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir