Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem. A refinement-based approach for specifying multi-scale software architectures.
33rd annual ACM Symposium on Applied Computing, Apr 2018, Pau, France.
⟨10.1145/3167132.3167309⟩.
⟨hal-01836351⟩