Formal Verification Applied to Attitude Control Software of Unmanned Aerial Vehicles
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Context-bounded model checking
-
Satisfiability Modulo Theories
-
Sistemas Embarcados
-
Sistemas de Controle
-
unmanned aerial vehicles
Identidade
identificador BrCris
-
7f7d2a356cd9a6167efc318b1cc8367e
identificador Capes
identificador Oasisbr
-
UFAM_989aca9413b8690eb7a4726d2ddaa47e