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

Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cdric Eichler, Ahmed Hadj Kacem

Browse the full SAC paper archive.