DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Browsing by Author Andrade, Aline Maria Santos
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) | Type |
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 |