Percorrer por orientadores 1936

Í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 6-16 de um total de 16 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
9-Jan-2020Early validation of system requirements and designMiranda, MarceloDissertação de mestrado Acesso aberto
14-Dez-2011Extração automática de modelos de sistemas de tempo realCarvalho, André Ribeiro deDissertação de mestrado Acesso aberto
14-Dez-2011Formal verification of Ada programs: an approach based on model checkingMartins, João Pedro Marques da SilvaDissertação de mestrado Acesso aberto
5-Abr-2022Formalization of deep learning techniques with the Why3 proof platformSousa, Márcio Alexandre MotaDissertação de mestrado Acesso aberto
14-Jul-2020Scalable trace analysis of distributed systems: finding data racesPereira, João Carlos MendesDissertação de mestrado Acesso aberto
2-Jul-2018Single-assignment program verificationLourenço, Cláudio Filipe Belo da SilvaTese de doutoramentoAcesso aberto
27-Nov-2023Sistema de pagamentos descentralizado para e-commerce na BlockchainVaz, Ricardo OliveiraDissertação de mestrado Acesso aberto
12-Dez-2018Verificação funcional de controladores ArduinoBarbosa, Rafael Alexandre AntunesDissertação de mestrado Acesso aberto
11-Abr-2022Verification of distributed algorithms with the Why3 toolCruz, Carla Isabel NovaisDissertação de mestrado Acesso aberto
21-Out-2011Verification, slicing, and visualization of programs with contractsCruz, Daniela daTese de doutoramentoAcesso aberto
19-Dez-2022Vulnerabilities preservation using code mutationCruz, Jorge Fernando Alves daDissertação de mestrado Acesso aberto
Mostrar 6-16 de um total de 16 resultados. < anterior