Buscas alternativas:
"Hybrid automata" » "Hybrid automate" (Expandir a busca), "Hybrid automatica" (Expandir a busca), "Hybrid automatic" (Expandir a busca)
"Hybrid automata" » "Hybrid automate" (Expandir a busca), "Hybrid automatica" (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