New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems.

Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed

Browse the full ICINCO paper archive.