An Event-B Development Process for the Distributed BIP Framework
['Badr Siala', 'Mohamed Tahar Bhiri', 'Jean-Paul Bodeveix', 'Mamoun Filali']
An Event-B Development Process for the Distributed BIP Framework