![]() | ![]() |
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] |