Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method.

Sanae El Mimouni, Mohamed Bouhdadi

Browse the full AICCSA paper archive.