On the verification of architectural reconfigurations
From MaRDI portal
Publication:1749140
DOI10.1016/j.cl.2015.07.001zbMath1387.68071OpenAlexW1241911937MaRDI QIDQ1749140
Alexandre Madeira, Luís Soares Barbosa, Alejandro D. Sánchez
Publication date: 15 May 2018
Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)
Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6311
Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Cites Work