Skip navigation
Universidade Federal da Bahia |
Repositório Institucional da UFBA

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:  
Mostrando resultados 2 a 3 de 3 < Anterior 
Data do documentoTítuloAutor(es)Tipo
2010Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systemsMuniz, André Luís Nunes; Andrade, Aline Maria Santos; Lima, George Marconi de AraújoArtigo de Periódico
2009A TLA+ Formal Specification and Verification of a New Real-Time Communication ProtocolRegnier, Paul Denis Etenne; Lima, George Marconi de Araújo; Andrade, Aline Maria SantosArtigo de Periódico