An Event-B Development Process for the Distributed BIP Framework.

Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali

Browse the full ICFEM paper archive.