Mostrando
1 - 8
resultados de
8
para a busca '
Jorge Sousa Pinto
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Jorge Sousa Pinto
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 8
resultados de
8
para a busca '
Jorge Sousa Pinto
'
, tempo de busca: 0,05s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Verification Conditions for Source-level Imperative Programs
por
Jorge
Sousa
Pinto
Publicado em 2011
Acessar documento (1)
Acessar documento (2)
Artigo
2
SMT-based schedulability analysis using RMTL-?
por
Matos Pedro,Ad
Publicado em 2017
Outros Autores:
“
...
Jorge
Sousa
Pinto
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
3
Formal verification of side-channel countermeasures using self-composition
por
José Bacelar Almeida
Publicado em 2013
Outros Autores:
“
...
Jorge
Sousa
Pinto
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
4
Logic-based schedulability analysis for compositional hard real-time embedded systems
por
Pedro,AdM
Publicado em 2015
Outros Autores:
“
...
Jorge
Sousa
Pinto
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
5
Studying Verification Conditions for Imperative Programs
por
Cláudio Belo Lourenço
Publicado em 2015
Outros Autores:
“
...
Jorge
Sousa
Pinto
...
”
Acessar documento
Artigo
6
Assertion-based Slicing and Slice Graphs
por
Daniela Cruz
Publicado em 2012
Outros Autores:
“
...
Jorge
Sousa
Pinto
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
7
Formal Verification With Frama-C: A Case Study in the Space Software Domain
por
Busquim e Silva,RABE
Publicado em 2016
Outros Autores:
“
...
Jorge
Sousa
Pinto
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
8
CAOVerif: An open-source deductive verification platform for cryptographic software implementations
por
José Bacelar Almeida
Publicado em 2014
Outros Autores:
“
...
Jorge
Sousa
Pinto
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
Exportar CSV
Exportar RIS
Carregando...