Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin. Formal rules for reliable component-based architecture evolution. Ivan Lanese; Eric Madelaine.
FACS: Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. 11th international symposium on Formal Aspects of Component Software, LNCS (8997), pp.127-142, 2014,
〈http://facs2014.cs.unibo.it〉.
〈10.1007/978-3-319-15317-9_8〉.
〈hal-01245857〉