Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Synthesizing structural and behavioral control for reconfigurations in component-based systemsKhakpour, Narges ; Arbab, Farhad ; Rutten, EricFormal aspects of computing, 2016-03, Vol.28 (1), p.21-43 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
|
2 |
Material Type: Artigo
|
Dynamic role authorization in multiparty conversationsGhilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A. ; Vieira, Hugo TorresFormal aspects of computing, 2016-07, Vol.28 (4), p.643-667 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |