Buscas alternativas:
"formal verification" » "formal verificacao" (Expandir a busca), "formal verificado" (Expandir a busca), "formal verificamos" (Expandir a busca)
"formal verification" » "formal verificacao" (Expandir a busca), "formal verificado" (Expandir a busca), "formal verificamos" (Expandir a busca)
1
Assuntos:
“...Formal Verification...”
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas
Dissertação
2
Assuntos:
“...Formal verification or finite-state systems...”
Verificação formal de sistemas modelados em estados finitos.
Dissertação
3
Assuntos:
“...Formal verification...”
Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.
Tese
4
Assuntos:
“...Formal verification...”
Geração de propriedades sobre programas Java a partir de objetivos de teste
Tese
5
Assuntos:
“...Formal Verification...”
Modelagem executável de sistemas distribuídos em JAVA.
Dissertação
6
Assuntos:
“...Formal verification...”
FormAr: software architecture formalization for critical applications
Dissertação
7
Assuntos:
“...Formal verification...”
Modelagem de sistemas químicos como máquinas de estados finitos para fins de verificação formal
Tese
8
9
Assuntos:
“...Formal verification...”
Network testing through grammars : towards the analysis of property violation on computer networks
Tese
10
11
Assuntos:
“...Formal verification...”
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.
Dissertação
12
Assuntos:
“...Formal verification...”
Um método para verificação formal e dinâmica de sistemas de software concorrentes
Dissertação
13
Assuntos:
“...Formal Verification...”
Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
Tese
14
Assuntos:
“...Formal verification...”
Verificação baseada em indução matemática para programas C++
Dissertação
15
16
Assuntos:
“...Statistical formal verification...”
Verificação formal aplicada à análise de confiabilidade de sistemas hidráulicos
Dissertação
17
Assuntos:
“...Formal verification...”
Metodologia para avaliação de falhas múltiplas em sistemas críticos visando o aumento da segurança
Dissertação
18
Assuntos:
“...formal verification...”
Verification of behaviourist multi-agent systems by means of formally guided simulations
Tese
19
Assuntos:
“...Formal verification...”
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
Dissertação
20
Assuntos:
“...[en] FORMAL VERIFICATION...”
[pt] ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
Tese