Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Design of Distributed Multimedia Applications (DAMD)de Souza, Wanderley Lopes ; Sampaio, Paulo Nazareno Maia ; Almeida, Maria Janilce B. ; Gaspary, Luciano Paschoal ; Granville, Lisandro Zambenedetti ; Farines, Jean-Marie ; Scheffel, Roberto Milton ; Willrich, Roberto ; de Camargo, Murilo S. ; Domingos, MarceloApplied Formal Methods — FM-Trends 98, 1999, p.77-91 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Automatic refinement of distributed systems specifications using program transformationsLima De Santana, A.C. ; Do Prado, A.F. ; De Souza, W.L. ; Sant'Anna, M.Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241), 1998, p.154-163IEEETexto completo disponível |