Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 87 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2022Merging cloned Alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigoAcesso aberto
2021Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José; Carvalho, Renato; Silva, Ricardo; Paiva, Ana C.R.; Sozinho Ramalho, Miguel; Silva, DanielArtigoAcesso restrito UMinho
2023Verifying temporal relational models with PardinusMacedo, Nuno; Brunel, Julien; Chemouil, David; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2022Timely specification repair for alloy 6Cerqueira, Jorge; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2021The High-Assurance ROS FrameworkSantos, André; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2023A cross-layer approach for MPTCP path management in heterogeneous vehicular networksHapanchak, Vadym Serhiyovych; Costa, AntónioArtigoAcesso aberto
Ago-2020Supporting the analysis of safety critical user interfaces: an exploration of three formal toolsCampos, José C.; Fayollas, Camille; Harrison, Michael D.; Martinie, Célia; Masci, Paolo; Palanque, PhilippeArtigoAcesso aberto
2020A conceptual group decision support system for current times: Dispersed group decision-makingCarneiro, João; Alves, Patrícia; Marreiros, Goreti; Novais, PauloArtigo em ata de conferênciaAcesso restrito UMinho
2021Group decision support systems for current times: Overcoming the challenges of dispersed group decision-makingCarneiro, João; Alves, Patrícia; Marreiros, Goreti; Novais, PauloArtigoAcesso aberto
2020Using a genetic algorithm to optimize a stacking ensemble in data streaming scenariosRamos, Diogo; Carneiro, Davide; Novais, PauloArtigoAcesso restrito UMinho
1-10 de um total de 87 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir