Lucas Cordeiro

Lucas dos Santos Cordeiro (born November 1, 1991) is a Brazilian professional footballer who plays as a forward. Provided by Wikipedia
Showing 1 - 10 results of 10 for search 'Cordeiro, Lucas', query time: 0.08s Refine Results
  1. 1
    SMT-based bounded model checking of multi-threaded software in embedded systems
    by Cordeiro, Lucas
    Published 2011
    Get full text
  2. 2
    SMT-based bounded model checking for embedded ANSI-C software
    Get fulltext
    Article
  3. 3
    Model checking LTL properties over C programs with bounded traces
    Get fulltext
    Article
  4. 4
    An Agile Development Methodology Applied to Embedded Control Software under Stringent Hardware Constraints
    Get fulltext
    Article
  5. 5
    Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
    by Trindade, Alessandro Bezerra
    Published 2015
    Other Authors: “...Cordeiro, Lucas Carvalho...”
    Get full text
    Others
  6. 6
    Verificação de programas C++ baseados no framework crossplataforma Qt
    by Garcia, Mário Angel Praia
    Published 2017
    Other Authors: “...Cordeiro, Lucas Carvalho...”
    Get full text
    Others
  7. 7
    Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
    by Ismail, Hussama Ibrahim
    Published 2016
    Other Authors: “...Cordeiro, Lucas Carvalho...”
    Get full text
    Others
  8. 8
    BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
    Other Authors: “...Cordeiro, Lucas Carvalho...”
    Get full text
    Others
  9. 9
    Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade
    by Abreu, Renato Barbosa
    Published 2015
    Other Authors: “...Cordeiro, Lucas Carvalho...”
    Get full text
    Others
  10. 10
    Verificação baseada em indução matemática para programas C++
    by Gadelha, Mikhail Yasha Ramalho
    Published 2015
    Other Authors: “...Cordeiro, Lucas Carvalho...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search