1
Assuntos:
“...model checker...”
Teste e verificação formal do comportamento excepcional de programas Java
Dissertação
2
3
4
5
Assuntos:
“...Model Checker...”
Model checking requirements written in a controlled natural language
Dissertação
6
Assuntos:
“...ColorChecker®...”
Novo método de mapeamento de espaços de cor através de redes neurais artificiais especializadas
Tese
7
Assuntos:
“...Efficient SMT-Based Context-Bounded Model Checker (ESBMC)...”
BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
Dissertação
8
Assuntos:
“...Electronic grammar checker...”
Redações do ENEM: estudo dos desvios da norma padrão sob a perspectiva de corpos
Dissertação
9
Assuntos:
“...New Deal Checker...”
Questões ortográficas: Rafael Bluteau e o Novo Acordo num percurso historiográfico
Dissertação
10
Assuntos:
“...Bounded Model Checker...”
Especificação executável usando uma linguagem de redes de Petri no domínio de sistemas embarcados
Dissertação
11
Assuntos:
“...Bounded model checker...”
Verificação e comprovação de erros em códigos C usando bounded model checker
Dissertação
12
Assuntos:
“...ArcCHECK...”
Estudos dosimétricos utilizando um sistema 3D para controle de qualidade em radioterapia
Dissertação
13
Assuntos:
“...Check-list...”
Dicionário técnico-bilíngue Inglês-Português da subárea do Check-list
Dissertação
14
15
16
Assuntos:
“...Check-list...”
Estudo sobre a taxa de cancelamento de cirurgias eletivas em um hospital terciário de ensino e construção de um checklist pré-operatório
Dissertação
17
Assuntos:
“...Check-list...”
Proposta de índice de sustentabilidade para indústria da construção
Dissertação
18
Assuntos:
“...Método do check-list...”
Aterro controlado de Morrinhos (GO) uso do solo e identificação de impactos ambientais
Dissertação
19
20
Assuntos:
“...Check-all-that-apply...”
Extração, microencapsulação e aplicação de antioxidantes de alecrim-do-campo e própolis verde em matrizes alimentares
Tese