On the verification of architectural reconfigurations

• https://www.authenticus.pt/P-00J-YXD
• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• Sanchez, A
• Madeira, A
• Barbosa, L. S.
• Barbosa, L.S.

data de publicação

• janeiro 1, 2015

publicada em

• Computer Languages Systems & Structures  Revista

Pesquisas

palavras-chave

• Architectural description language
• Architectural reconfiguration
• Graded hybrid logic
• Modal logic

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.cl.2015.07.001

Informação adicional documento

Página Inicial

• 218

página final

• 237

Volume

• 44