Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed. Modeling and Verification of B-based Distributed Reconfigurable Control Systems. In César Benavente-Peces, Olivier Paillet, Andreas Ahrens, editors, PECCS 2015 - Proceedings of the 5th International Conference on Pervasive and Embedded Computing and Communication Systems, ESEO, Angers, Loire Valley, France, 11-13 February, 2015. pages 124-131, SciTePress, 2015. [doi]
@inproceedings{OueslatiMKA15,
title = {Modeling and Verification of B-based Distributed Reconfigurable Control Systems},
author = {Raja Oueslati and Olfa Mosbahi and Mohamed Khalgui and Samir Ben Ahmed},
year = {2015},
doi = {10.5220/0005244601240131},
url = {http://dx.doi.org/10.5220/0005244601240131},
researchr = {https://researchr.org/publication/OueslatiMKA15},
cites = {0},
citedby = {0},
pages = {124-131},
booktitle = {PECCS 2015 - Proceedings of the 5th International Conference on Pervasive and Embedded Computing and Communication Systems, ESEO, Angers, Loire Valley, France, 11-13 February, 2015},
editor = {César Benavente-Peces and Olivier Paillet and Andreas Ahrens},
publisher = {SciTePress},
isbn = {978-989-758-084-0},
}