Hamza Zerguine, Nabila Salmi, Malika Boukala. Accompanying Component Based Systems Dynamic Reconfiguration with Formal Modelling and Analysis. In 2014 International Conference on Future Internet of Things and Cloud, FiCloud 2014, Barcelona, Spain, August 27-29, 2014. pages 513-520, IEEE, 2014. [doi]
Abstract is missing.