Skip navigation
Portal do Governo Brasileiro
Universidade Federal da Bahia |
Repositório Institucional da UFBA
Comunidades e coleções
Ajuda
Sobre o RI
Documentos
Termo de autorização para depósito de documentos no Repositório Institucional:
TERMO DE AUTORIZAÇÃO PARA DEPÓSITO MEDIADO
Instauração do grupo gestor da Política do RI:
PORTARIA Nº 024/2010
Política de arquivamento do catálogo dos livros da EDUFBA:
RESOLUÇÃO Nº 01/2016
Recomposição do grupo gestor da Política do RI:
PORTARIA Nº 159/2021
Procedimentos para depósito legal de TCCs em nível de mestrado e doutorado:
PORTARIA Nº 153/2023
Tutoriais
Tutoriais de submissão:
TUTORIAL PARA SUBMISSÃO DISSERTAÇÃO
TUTORIAL PARA SUBMISSÃO TESE
TUTORIAL PARA SUBMISSÃO TCC GRADUAÇÃO
TUTORIAL PARA SUBMISSÃO TCC ESPECIALIZAÇÃO
TUTORIAL PARA SUBMISSÃO ARTIGO DE PERIÓDICO
TUTORIAL PARA SUBMISSÃO ARTIGO DE EVENTO
TUTORIAL PARA SUBMISSÃO RELATÓRIO DE PESQUISA
TUTORIAL PARA SUBMISSÃO LIVROS
TUTORIAL PARA SUBMISSÃO CAPÍTULO DE LIVRO
TUTORIAL PARA SUBMISSÃO OUTROS
Outros tutoriais:
TUTORIAL PARA CADASTRO DE USUÁRIO
TUTORIAL PARA CONVERSÃO DE ARQUIVOS PARA PDF/A
Fluxogramas:
ETAPAS PARA DEPÓSITO DE DOCUMENTOS
Perguntas frequentes
Contato
Idioma
português
español
English
Entrar em:
Meu espaço
Receber atualizações
por e-mail
Editar perfil
Navegando por Autor Andrade, Aline Maria Santos
Ir para:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou entre com as primeiras letras:
Classificar por:
Autor
Data do documento
Data de depósito
Orientador
Programa
Tipo
Título
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 2 a 3 de 3
< Anterior
Data do documento
Título
Autor(es)
Tipo
2010
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
Muniz, André Luís Nunes
;
Andrade, Aline Maria Santos
;
Lima, George Marconi de Araújo
Artigo de Periódico
2009
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
Regnier, Paul Denis Etenne
;
Lima, George Marconi de Araújo
;
Andrade, Aline Maria Santos
Artigo de Periódico
