Buscas alternativas:
bounded » founded (Expandir a busca), grounded (Expandir a busca)
Mostrando 1 - 20 resultados de 74 para a busca '"Bounded"', tempo de busca: 0,10s

7

Assuntos: ...Bounded model checking...

Revisão de crenças em ACTL usando verificação de modelos limitada

Publicado em 2017
Dissertação

9

10

Assuntos: ...Bounded Model Checking...

Verificação de programas C++ baseados no framework crossplataforma Qt

Publicado em 2016
Dissertação

16

Assuntos: ...Bounded rationality...

Information contagion in P2P lending markets: empirical evidence from China

Publicado em 2019
Dissertação

17

Assuntos: ...Efficient SMT-Based Context-Bounded Model Checker (ESBMC)...

BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking

Dissertação