Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed. New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. In Joaquim Filipe, Oleg Yu. Gusikhin, Kurosh Madani, Jurek Z. Sasiadek, editors, ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Vienna, Austria, 1 - 3 September, 2014. pages 749-757, SciTePress, 2014. [doi]
Abstract is missing.