Percorrer por assunto Verification

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 1-15 de um total de 15 resultados.
DataTítuloAutor(es)TipoAcesso
2023An experimental evaluation of tools for grading concurrent programming exercisesBarros, Manuel; Ramos, Maria; Gomes, Alexandre, et al.Artigo em ata de conferênciaAcesso aberto
22-Jun-2015Análise dos resultados das metodologias de verificação e validação das medidas de controlo do SGSA dos SASUMDias, Daniel Filipe Almeida Couto CorreiaDissertação de mestrado Acesso aberto
2012Automated verification of the freeRTOS scheduler in HIP/SLEEKFerreira, João Fernando; Guanhua He; Shengchao QinArtigo em ata de conferênciaAcesso aberto
4-Dez-2012BPMN patterns for ETL conceptual modelling and validationOliveira, Bruno; Belo, O.Artigo em ata de conferênciaAcesso restrito UMinho
2013Deadline analysis of AUTOSAR OS periodic tasks in the presence of interruptsYanhong Huang; Ferreira, João Fernando Peixoto; Guanhua He, et al.Artigo em ata de conferênciaAcesso aberto
2016Development of a coextrusion system of multifunctional filaments for the production of high performance ropesVale, Bruno Miguel Faria doDissertação de mestrado Acesso aberto
2018hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworksAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo em ata de conferênciaAcesso aberto
2014Modeling and supporting ETL processes via a pattern-oriented, task-reusable frameworkBelo, Orlando; Cuzzocrea, Alfredo; Oliveira, BrunoArtigo em ata de conferênciaAcesso restrito UMinho
2013Pattern-based ETL conceptual modellingOliveira, Bruno; Santos, Vasco; Belo, O.Artigo em ata de conferênciaAcesso restrito UMinho
29-Ago-2014A pattern-oriented approach for supporting ETL conceptual modelling and its YAWL-based implementationOliveira, Bruno; Belo, O.; Cuzzocrea, AlfredoArtigo em ata de conferênciaAcesso restrito UMinho
2010Program verification in SPARK and ACSL : a comparative case studyBrito, Eduardo; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2017Receiver operating characteristic (ROC) packages comparison in RDa Cunha, Daniela Ferreira; Braga, A. C.Artigo em ata de conferênciaAcesso restrito UMinho
2012A systematized approach for obtaining a dependable structured specification for an industrial automation systemMachado, José Mendes; Seabra, EuricoArtigo em ata de conferênciaAcesso restrito UMinho
12-Ago-2022A tribute to José Manuel ValençaOliveira, José Nuno Fonseca; Pinto, Jorge Sousa; Barbosa, L. S., et al.Editorial em revistaAcesso restrito UMinho
5-Abr-2012Verificação de software criptográfico de elevado desempenhoOliveira, Tiago Filipe AzevedoDissertação de mestrado Acesso aberto
Mostrar 1-15 de um total de 15 resultados.