Sugestões de Tópicos... dentro de sua busca.
CIENCIAS EXATAS E DA TERRA 1
CIÊNCIAS EXATAS E DA TERRA 1
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO: METODOLOGIA E TÉCNICAS DA COMPUTAÇÃO: ENGENHARIA DE SOFTWARE 1
A mostrar 1 - 11
de 11
para a busca: '"Model checking"',
tempo de busca: 0.6s
Refinar a Busca
- Recursos
- Grau
- Assunto
4
ENGENHARIAS: ENGENHARIA ELÉTRICA
4
Model checking
3
Bounded model checking
3
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO
3
Model Checking
2
Framework Qt
Mais ...
2
Software
2
Verificação formal
1
Agoritmo de slicing
1
Algoritmo genético
1
Automated verification
1
Bounded Model Checking
1
Bounded model checker
1
Bounded modelchecker
1
C++
1
CIENCIAS EXATAS E DA TERRA
1
CIÊNCIAS EXATAS E DA TERRA
1
CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO: METODOLOGIA E TÉCNICAS DA COMPUTAÇÃO: ENGENHARIA DE SOFTWARE
1
Caching
1
Comprovação de Erros
1
Contra-exemplos
1
Coprojeto hardware/software
1
Counterexamples
1
ENGENHARIAS: ENGENHARIA ELETRICA
1
ESBMC
1
Electrical systems
1
Embedded systems
1
Energia renovável
1
Engenharia de Software
1
Formal verification
menos ...
- Autor
- Idioma
- Ano da publicação