| |
| 2008 | ||
|---|---|---|
| 2 | EE | Ahlem Ben Younes, Leila Jemni Ben Ayed: From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. COMPSAC 2008: 643-648 |
| 2007 | ||
| 1 | EE | Ahlem Ben Younes, Leila Jemni Ben Ayed: Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. COMPSAC (1) 2007: 163-170 |
| 1 | Leila Jemni Ben Ayed (Leila Jemni) | [1] [2] |