Navegando por Autor Andrade, Aline Maria Santos
Mostrando resultados 1 a 3 de 3
| Data do documento | Título | Autor(es) | Tipo |
| 2008 | Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems | Barbosa, Frederico Jorge Ribeiro; Andrade, Aline Maria Santos; Silva, Flávio Morais de Assis; Lima, George Marconi de Araújo | Artigo de Periódico |
| 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 |
