A method for rigorous design of reconfigurable systems

Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins. A method for rigorous design of reconfigurable systems. Science of Computer Programming, 132:50-76, 2016. [doi]

Abstract

Abstract is missing.