A refinement-based approach for specifying multi-scale software architectures: application to SoS.

Mon, 01 Jan 2018 00:00:00 +0100

Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem:
A refinement-based approach for specifying multi-scale software architectures: application to SoS. SAC 2018: 1660-1667