Sugestões de Tópicos... dentro de sua busca.
Model checking
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO 2
ENGENHARIAS: ENGENHARIA ELÉTRICA 2
Partitioning 1
Processamento de sinais - Estouro aritmético 1
Processamento de sinais - Ruídos indesejados 1
A mostrar 1 - 4
de 4
para a busca: '',
tempo de busca: 0.25s
Refinar a Busca
- Retirar os Filtros Assunto: Model checking
- Recursos
- Grau
- Assunto
Model checking
2
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO
2
ENGENHARIAS: ENGENHARIA ELÉTRICA
1
Algoritmo genético
1
Automated verification
1
Bounded model checker
Mais ...
1
Bounded modelchecker
1
Comprovação de Erros
1
Contra-exemplos
1
Coprojeto hardware/software
1
Counterexamples
1
ESBMC
1
Electrical systems
1
Embedded systems
1
Energia renovável
1
Formal verification
1
Genetic algorithm
1
Hardware/software co-design
1
Implementação de filtros digitais
1
Integer linear programming
1
Particionamento
1
Partitioning
1
Processamento de sinais - Estouro aritmético
1
Processamento de sinais - Ruídos indesejados
1
Program synthesis
1
Programação linear inteira
1
Propriedades de segurança
1
Proving errors
1
Safety properties
1
Sistema solar fotovoltaico
menos ...
- Autor
- Idioma
- Ano da publicação