From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.

Leila Jemni Ben Ayed, Fatma Siala

Browse the full COMPSAC paper archive.