Mostrando 1 - 20 resultados de 109 para a busca '"verification"', tempo de busca: 0,08s
Exportar CSV

4

Assuntos: ...BVM - Verification Methodology...

BVM: reformulação da metodologia de verificação funcional VeriSC.

Dissertação

8

Assuntos: ...Verification tool...

Module integration using graph grammars (MIGRATE)

Publicado em 2021
Dissertação

9

Assuntos: ...Verification...

Uncovering bugs in P4 programs with assertion based verification

Publicado em 2018
Dissertação

11

Assuntos: ...Program Verification...

Validação visual de programas Ladder baseada em modelos.

Publicado em 2011
Dissertação

13

Assuntos: ...network verification...

Enforcing properties in programmable networks

Publicado em 2020
Tese

16

Assuntos: ...Formal verification...

Object-oriented graph grammars

Publicado em 2005
Tese