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]
Abstract is missing.