Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 23 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Mai-2015ADSNARK: Nearly practical and privacy-preserving proofs on authenticated dataBackes, Michael; Barbosa, Manuel; Fiore, Dario; Reischuk, Raphael M.Artigo em ata de conferênciaAcesso aberto
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
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2018The MAL Interactors Animator: Supporting model validation through animationCampos, José C.; Sousa, NunoArtigo em ata de conferênciaAcesso aberto
2017Systematic spreadsheet construction processesMendes, Jorge; Cunha, Jácome; Duarte, Francisco J.; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
2016Parsing and reflective printing, bidirectionallyZhu, Zirun; Zhang, Yongzhe; Ko, Hsiang-Shang; Martins, Pedro Miguel Ribeiro; Saraiva, João; Hu, ZhenjiangArtigo em ata de conferênciaAcesso aberto
3-Abr-2014Application of ontologies in identifying requirements patterns in use casesCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2017Towards Systematic Spreadsheet Construction ProcessesMendes, Jorge; Cunha, Jácome Miguel Costa; Duarte, Francisco; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
2014A compositional monitoring framework for hard real-time systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2015Immersiveness of ubiquitous computing environments prototypes: A case studyAbade, Tiago; Campos, J. Creissac; Moreira, Rui Patrício Oliveira; Silva, Carlos César Loureiro; Silva, José Luís CardosoArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 23 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir