Resultados da busca por Autor

1

Uma análise do pretérito perfeito composto no espanhol mexicano

por Andrade, Aline dos Santos de

Publicado em 2022

Acessar documento

Dissertação

2

Uma análise do pretérito perfeito composto no espanhol mexicano

por Andrade, Aline dos Santos de

Publicado em 2022

Acessar documento

Dissertação

3

O uso do pretérito perfeito composto no espanhol mexicano.

por Andrade, Aline dos Santos de

Publicado em 2021

Acessar documento

Trabalho de conclusão de curso

4

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems

por Muniz, André Luís Nunes

Publicado em 2010

Outros Autores: “...Andrade, Aline Maria Santos...”
Acessar documento

Artigo

5

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol

por Regnier, Paul Denis Etenne

Publicado em 2009

Outros Autores: “...Andrade, Aline Maria Santos...”
Acessar documento

Artigo

6

Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems

por Barbosa, Frederico Jorge Ribeiro

Publicado em 2008

Outros Autores: “...Andrade, Aline Maria Santos...”
Acessar documento

Artigo

Exportar CSV Exportar RIS