Buscas alternativas:
hybrid automate » hybrid automata (Expandir a busca), hybrid automatic (Expandir a busca)
hybrid automate » hybrid automata (Expandir a busca), hybrid automatic (Expandir a busca)
1
Assuntos:
“...Hybrid automata...”
Verificação formal aplicada à análise de confiabilidade de sistemas hidráulicos
Dissertação
2
Assuntos:
“...Hybrid automata...”
Metodologia de análise de sistemas de proteção com controle distribuído através da ferramenta de modelagem e verificação formal estatística
Dissertação
3
Assuntos:
“...Hybrid Automata...”
Contribuição ao uso de métodos formais no estudo de circuitos de eletrônica de potência.
Tese