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 1-15 de um total de 15 resultados.
DataTítuloAutor(es)TipoAcesso
2016An elasticity controller for applications orquestrated with CloudifyFernandez Afonso, Carlos EduardoDissertação de mestrado Acesso aberto
28-Nov-2013A bounded model checker for SPARK programsLourenço, Cláudio Filipe Belo da SilvaDissertação de mestrado Acesso aberto
2013Bounded Model Checking de programas imperativosPereira, José João PeixotoDissertação de mestrado Acesso aberto
2021Conversão para Why3 de formalizações em CoqFerreira, Bárbara Andreia CardosoDissertação de mestrado Acesso aberto
10-Abr-2018Dynamic contracts for verification and enforcement of real-time systems propertiesPedro, André MatosTese de doutoramentoAcesso aberto
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
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 1-15 de um total de 15 resultados.