| |
| 2007 | ||
|---|---|---|
| 4 | Olfa Mosbahi, Jacques Jaray: Specification and Proof of Liveness Properties in B Event Systems. ICSOFT (SE) 2007: 25-34 | |
| 3 | Olfa Mosbahi, Leila Jemni, Jacques Jaray: A Formal Approach for the Development of Automated Systems. ICSOFT (SE) 2007: 304-310 | |
| 2002 | ||
| 2 | EE | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray: A Specification and Validation Technique Based on STATEMATE and FNLOG. ICFEM 2002: 216-220 |
| 1988 | ||
| 1 | Jacques Jaray: Timed Specifications for the Development of Real-time Systems. FTRTFT 1988: 67-83 | |
| 1 | Samir Ben Ahmed | [2] |
| 2 | Leila Jemni Ben Ayed (Leila Jemni) | [2] [3] |
| 3 | Olfa Mosbahi | [2] [3] [4] |