| 2008 |
|---|
| 3 | EE | Leila Jemni Ben Ayed,
Fatma Siala:
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.
COMPSAC 2008: 581-584 |
| 2 | EE | Leila Jemni Ben Ayed,
Fatma Siala:
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.
DSV-IS 2008: 102-107 |
| 1 | | Leila Jemni Ben Ayed,
Fatma Siala:
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.
MSVVEIS 2008: 190-198 |
