Accompanying Component Based Systems Dynamic Reconfiguration with Formal Modelling and Analysis

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]

@inproceedings{ZerguineSB14,
  title = {Accompanying Component Based Systems Dynamic Reconfiguration with Formal Modelling and Analysis},
  author = {Hamza Zerguine and Nabila Salmi and Malika Boukala},
  year = {2014},
  doi = {10.1109/FiCloud.2014.90},
  url = {http://dx.doi.org/10.1109/FiCloud.2014.90},
  researchr = {https://researchr.org/publication/ZerguineSB14},
  cites = {0},
  citedby = {0},
  pages = {513-520},
  booktitle = {2014 International Conference on Future Internet of Things and Cloud, FiCloud 2014, Barcelona, Spain, August 27-29, 2014},
  publisher = {IEEE},
  isbn = {978-1-4799-4358-6},
}