Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Universidade Federal do Amazonas" +contributor:("http://lattes.cnpq.br/5005832876603012"). Showing records 1 – 13 of 13 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Gadelha, Mikhail Yasha Ramalho. Verificação baseada em indução matemática para programas C++.

Degree: 2013, Universidade Federal do Amazonas

A utilização de sistemas embarcados, sistemas computacionais especializados para realizar uma função em sistemas maiores, eletrônicos ou mecânicos, vem crescendo no dia a dia das… (more)

Subjects/Keywords: Verificação formal; Prova por indução; Linguagem de programação C++; Formal verification; Proof by induction; C++ programming language; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gadelha, M. Y. R. (2013). Verificação baseada em indução matemática para programas C++. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4497

Chicago Manual of Style (16th Edition):

Gadelha, Mikhail Yasha Ramalho. “Verificação baseada em indução matemática para programas C++.” 2013. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. http://tede.ufam.edu.br/handle/tede/4497.

MLA Handbook (7th Edition):

Gadelha, Mikhail Yasha Ramalho. “Verificação baseada em indução matemática para programas C++.” 2013. Web. 10 Apr 2021.

Vancouver:

Gadelha MYR. Verificação baseada em indução matemática para programas C++. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2013. [cited 2021 Apr 10]. Available from: http://tede.ufam.edu.br/handle/tede/4497.

Council of Science Editors:

Gadelha MYR. Verificação baseada em indução matemática para programas C++. [Masters Thesis]. Universidade Federal do Amazonas; 2013. Available from: http://tede.ufam.edu.br/handle/tede/4497

2. Abreu, Renato Barbosa. Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade.

Degree: 2014, Universidade Federal do Amazonas

Atualmente, os filtros digitais são empregados em uma ampla variedade de aplicações para processamento de sinais, utilizando tanto processadores de ponto flutuante quanto de ponto… (more)

Subjects/Keywords: Implementação de filtros digitais; Processamento de sinais - Estouro aritmético; Processamento de sinais - Ruídos indesejados; ESBMC; Teoria do módulo da satisfatibilidade; Model checking; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abreu, R. B. (2014). Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4495

Chicago Manual of Style (16th Edition):

Abreu, Renato Barbosa. “Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade.” 2014. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. http://tede.ufam.edu.br/handle/tede/4495.

MLA Handbook (7th Edition):

Abreu, Renato Barbosa. “Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade.” 2014. Web. 10 Apr 2021.

Vancouver:

Abreu RB. Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2014. [cited 2021 Apr 10]. Available from: http://tede.ufam.edu.br/handle/tede/4495.

Council of Science Editors:

Abreu RB. Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade. [Masters Thesis]. Universidade Federal do Amazonas; 2014. Available from: http://tede.ufam.edu.br/handle/tede/4495

3. Ismail, Hussama Ibrahim. Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo.

Degree: 2015, Universidade Federal do Amazonas

O uso extensivo de controladores digitais implementados em ponto-fixo demandam um maior esforço para prevenir erros de projeto que aparecem no domínio discreto. Este trabalho… (more)

Subjects/Keywords: Controladores digitais; Verificação de modelos; Sistemas de controle; Controladores programáveis - Software; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ismail, H. I. (2015). Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4984

Chicago Manual of Style (16th Edition):

Ismail, Hussama Ibrahim. “Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. http://tede.ufam.edu.br/handle/tede/4984.

MLA Handbook (7th Edition):

Ismail, Hussama Ibrahim. “Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo.” 2015. Web. 10 Apr 2021.

Vancouver:

Ismail HI. Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2021 Apr 10]. Available from: http://tede.ufam.edu.br/handle/tede/4984.

Council of Science Editors:

Ismail HI. Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4984

4. Trindade, Alessandro Bezerra. Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados.

Degree: 2015, Universidade Federal do Amazonas

Quando se realiza um coprojeto de hardware/software para sistemas embarcados, emerge o problema de se decidir qual função do sistema deve ser implementada em hardware… (more)

Subjects/Keywords: Coprojeto hardware/software; Sistemas embarcados; Particionamento; Programação linear inteira; Algoritmo genético; Verificação de modelos; Hardware/software co-design; Embedded systems; Partitioning; Integer linear programming; Genetic algorithm; Model checking; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Trindade, A. B. (2015). Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4091

Chicago Manual of Style (16th Edition):

Trindade, Alessandro Bezerra. “Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. http://tede.ufam.edu.br/handle/tede/4091.

MLA Handbook (7th Edition):

Trindade, Alessandro Bezerra. “Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados.” 2015. Web. 10 Apr 2021.

Vancouver:

Trindade AB. Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2021 Apr 10]. Available from: http://tede.ufam.edu.br/handle/tede/4091.

Council of Science Editors:

Trindade AB. Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4091

5. Gonçalves, Rawlinson da Silva. Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa.

Degree: 2015, Universidade Federal do Amazonas

Os sistemas embarcados têm evoluído significativamente nos últimos anos, principalmente devido aos avanços da tecnologia, a redução dos custos dos equipamentos eletrônicos e a popularização… (more)

Subjects/Keywords: Sistemas Embarcados; Sistemas de Tempo Real; DVFS Intra-Tarefa; Tratamento de Preempções; Embedded Systems; Real Time Systems; DVFS Intra-Task; Low Power Consumption; Preemptions Treatment; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gonçalves, R. d. S. (2015). Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4778

Chicago Manual of Style (16th Edition):

Gonçalves, Rawlinson da Silva. “Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. http://tede.ufam.edu.br/handle/tede/4778.

MLA Handbook (7th Edition):

Gonçalves, Rawlinson da Silva. “Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa.” 2015. Web. 10 Apr 2021.

Vancouver:

Gonçalves RdS. Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2021 Apr 10]. Available from: http://tede.ufam.edu.br/handle/tede/4778.

Council of Science Editors:

Gonçalves RdS. Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4778

6. Garcia, Mário Angel Praia. Verificação de programas C++ baseados no framework crossplataforma Qt.

Degree: 2016, Universidade Federal do Amazonas

O desenvolvimento de software para sistemas embarcados tem crescido rapidamente, o que na maioria das vezes acarreta em um aumento da complexidade associada a esse… (more)

Subjects/Keywords: Framework Qt; Bounded Model Checking; Satisfiability Modulo Theories (SMT); ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Garcia, M. A. P. (2016). Verificação de programas C++ baseados no framework crossplataforma Qt. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/5492

Chicago Manual of Style (16th Edition):

Garcia, Mário Angel Praia. “Verificação de programas C++ baseados no framework crossplataforma Qt.” 2016. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. http://tede.ufam.edu.br/handle/tede/5492.

MLA Handbook (7th Edition):

Garcia, Mário Angel Praia. “Verificação de programas C++ baseados no framework crossplataforma Qt.” 2016. Web. 10 Apr 2021.

Vancouver:

Garcia MAP. Verificação de programas C++ baseados no framework crossplataforma Qt. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2016. [cited 2021 Apr 10]. Available from: http://tede.ufam.edu.br/handle/tede/5492.

Council of Science Editors:

Garcia MAP. Verificação de programas C++ baseados no framework crossplataforma Qt. [Masters Thesis]. Universidade Federal do Amazonas; 2016. Available from: http://tede.ufam.edu.br/handle/tede/5492

7. Chaves, Lennon Corrêa. Formal verification applied to attitude control software of unmanned aerial vehicles.

Degree: 2018, Universidade Federal do Amazonas

Durante as últimas décadas, técnicas de verificação de modelos tem sido utilizadas para melhorar a confiabilidade de sistemas, no que diz respeito a veículos aéreos… (more)

Subjects/Keywords: Veículos Aéreos não tripulados; Verificação simbólica de modelos; Controladores de ponto-fixo; Sistemas Embarcados; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chaves, L. C. (2018). Formal verification applied to attitude control software of unmanned aerial vehicles. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6368

Chicago Manual of Style (16th Edition):

Chaves, Lennon Corrêa. “Formal verification applied to attitude control software of unmanned aerial vehicles.” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. https://tede.ufam.edu.br/handle/tede/6368.

MLA Handbook (7th Edition):

Chaves, Lennon Corrêa. “Formal verification applied to attitude control software of unmanned aerial vehicles.” 2018. Web. 10 Apr 2021.

Vancouver:

Chaves LC. Formal verification applied to attitude control software of unmanned aerial vehicles. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2021 Apr 10]. Available from: https://tede.ufam.edu.br/handle/tede/6368.

Council of Science Editors:

Chaves LC. Formal verification applied to attitude control software of unmanned aerial vehicles. [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6368

8. Alves, Erickson Higor da Silva. Localização de falhas em programas concorrentes em C.

Degree: 2018, Universidade Federal do Amazonas

Este trabalho descreve uma nova abordagem para localizar falhas em programas concorrentes, a qual é baseada em técnicas de verificação de modelos limitada e sequencialização.… (more)

Subjects/Keywords: Verificação de Modelos; Localização de Falhas; Sequencialização; Depuração; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alves, E. H. d. S. (2018). Localização de falhas em programas concorrentes em C. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6788

Chicago Manual of Style (16th Edition):

Alves, Erickson Higor da Silva. “Localização de falhas em programas concorrentes em C.” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. https://tede.ufam.edu.br/handle/tede/6788.

MLA Handbook (7th Edition):

Alves, Erickson Higor da Silva. “Localização de falhas em programas concorrentes em C.” 2018. Web. 10 Apr 2021.

Vancouver:

Alves EHdS. Localização de falhas em programas concorrentes em C. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2021 Apr 10]. Available from: https://tede.ufam.edu.br/handle/tede/6788.

Council of Science Editors:

Alves EHdS. Localização de falhas em programas concorrentes em C. [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6788

9. Pereira, Phillipe Arantes. Verificação limitada de modelos baseada em SMT para programas CUDA.

Degree: 2019, Universidade Federal do Amazonas

A ferramenta de verificação ESBMC-GPU é uma extensão do Verificador de Modelos de Contexto Limitado baseado em SMT (ESBMC), que tem como propósito verificar programas… (more)

Subjects/Keywords: GPU; Programas CUDA; Verificação formal; Verificação de modelos; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pereira, P. A. (2019). Verificação limitada de modelos baseada em SMT para programas CUDA. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7019

Chicago Manual of Style (16th Edition):

Pereira, Phillipe Arantes. “Verificação limitada de modelos baseada em SMT para programas CUDA.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. https://tede.ufam.edu.br/handle/tede/7019.

MLA Handbook (7th Edition):

Pereira, Phillipe Arantes. “Verificação limitada de modelos baseada em SMT para programas CUDA.” 2019. Web. 10 Apr 2021.

Vancouver:

Pereira PA. Verificação limitada de modelos baseada em SMT para programas CUDA. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2021 Apr 10]. Available from: https://tede.ufam.edu.br/handle/tede/7019.

Council of Science Editors:

Pereira PA. Verificação limitada de modelos baseada em SMT para programas CUDA. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7019

10. Albuquerque, Higo Ferreira. Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT.

Degree: 2019, Universidade Federal do Amazonas

O processo de otimização exige uma formulação matemática do sistema ou problema a ser otimizado, e considerando que os métodos formais são técnicas baseadas nos… (more)

Subjects/Keywords: Verificadores de programas; Otimização; OptCE; Algoritmo CEGIO; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Albuquerque, H. F. (2019). Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7096

Chicago Manual of Style (16th Edition):

Albuquerque, Higo Ferreira. “Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. https://tede.ufam.edu.br/handle/tede/7096.

MLA Handbook (7th Edition):

Albuquerque, Higo Ferreira. “Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT.” 2019. Web. 10 Apr 2021.

Vancouver:

Albuquerque HF. Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2021 Apr 10]. Available from: https://tede.ufam.edu.br/handle/tede/7096.

Council of Science Editors:

Albuquerque HF. Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7096

11. Januário, Francisco de Assis Pereira. BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking.

Degree: 2015, Universidade Federal do Amazonas

O desenvolvimento de programas escritos na linguagem de programação Lua, que é muito utilizada em aplicações para TV digital e jogos, pode gerar erros, deadlocks,… (more)

Subjects/Keywords: Linguagem Lua; TV digital; Verificação de modelos - BMCLua; Efficient SMT-Based Context-Bounded Model Checker (ESBMC); ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Januário, F. d. A. P. (2015). BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4539

Chicago Manual of Style (16th Edition):

Januário, Francisco de Assis Pereira. “BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. http://tede.ufam.edu.br/handle/tede/4539.

MLA Handbook (7th Edition):

Januário, Francisco de Assis Pereira. “BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking.” 2015. Web. 10 Apr 2021.

Vancouver:

Januário FdAP. BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2021 Apr 10]. Available from: http://tede.ufam.edu.br/handle/tede/4539.

Council of Science Editors:

Januário FdAP. BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4539

12. Rocha, Herbert Oliveira. Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.

Degree: 2015, Universidade Federal do Amazonas

Um dos principais desafios no desenvolvimento de software é garantir a funcionalidade dos sistemas de software, especialmente em sistemas embarcados críticos, tais como aeronáutico ou… (more)

Subjects/Keywords: Teste de Software; Model Checking; Invariantes de Programas; Transformações de código; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rocha, H. O. (2015). Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4752

Chicago Manual of Style (16th Edition):

Rocha, Herbert Oliveira. “Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.” 2015. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed April 10, 2021. http://tede.ufam.edu.br/handle/tede/4752.

MLA Handbook (7th Edition):

Rocha, Herbert Oliveira. “Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.” 2015. Web. 10 Apr 2021.

Vancouver:

Rocha HO. Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2015. [cited 2021 Apr 10]. Available from: http://tede.ufam.edu.br/handle/tede/4752.

Council of Science Editors:

Rocha HO. Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4752

13. Melo, Raimundo Williame Rocha de. Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes.

Degree: 2017, Universidade Federal do Amazonas

O uso de sistemas embarcados, sistemas computacionais especializados para execução em sistemas eletrônicos ou mecânicos tem crescido de forma vertiginosa devido a utilização cada vez… (more)

Subjects/Keywords: Verificação formal; Indução matemática; Invariantes indutivas; PIPS; PAGAI; Verificação de Software; Sistemas embarcados; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Melo, R. W. R. d. (2017). Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6261

Chicago Manual of Style (16th Edition):

Melo, Raimundo Williame Rocha de. “Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes.” 2017. Masters Thesis, Universidade Federal do Amazonas. Accessed April 10, 2021. https://tede.ufam.edu.br/handle/tede/6261.

MLA Handbook (7th Edition):

Melo, Raimundo Williame Rocha de. “Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes.” 2017. Web. 10 Apr 2021.

Vancouver:

Melo RWRd. Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2017. [cited 2021 Apr 10]. Available from: https://tede.ufam.edu.br/handle/tede/6261.

Council of Science Editors:

Melo RWRd. Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes. [Masters Thesis]. Universidade Federal do Amazonas; 2017. Available from: https://tede.ufam.edu.br/handle/tede/6261

.