Buscas alternativas:
"verification" » "verificacao" (Expandir a busca), "verificado" (Expandir a busca), "verificamos" (Expandir a busca)
"verification" » "verificacao" (Expandir a busca), "verificado" (Expandir a busca), "verificamos" (Expandir a busca)
1
Assuntos:
“...Formal verification...”
FormAr: software architecture formalization for critical applications
Dissertação
2
Assuntos:
“...Formal verification...”
Modelagem de sistemas químicos como máquinas de estados finitos para fins de verificação formal
Tese
3
Assuntos:
“...Formal verification...”
Geração de propriedades sobre programas Java a partir de objetivos de teste
Tese
4
Assuntos:
“...Formal verification...”
Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.
Tese
5
Assuntos:
“...Design under verification...”
Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação.
Tese
6
Assuntos:
“...Formal verification...”
Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation
Tese
7
Assuntos:
“...Formal verification...”
Um método para verificação formal e dinâmica de sistemas de software concorrentes
Dissertação
8
9
Assuntos:
“...Formal verification...”
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.
Dissertação
10
Assuntos:
“...Formal verification...”
Verificação baseada em indução matemática para programas C++
Dissertação
11
Assuntos:
“...Formal verification...”
Enriching SysML-based software architecture descriptions: a model-driven approach
Tese
12
Assuntos:
“...Formal verification...”
Strategies for testing and formalizing properties of modern programming languages
Tese
13
Assuntos:
“...Formal verification...”
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
Dissertação