| |
| 2008 | ||
|---|---|---|
| 4 | EE | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch: A formal approach to check and schedule reconfigurable embedded control systems. ETFA 2008: 383-391 |
| 2007 | ||
| 3 | Olfa Mosbahi, Jacques Jaray: Specification and Proof of Liveness Properties in B Event Systems. ICSOFT (SE) 2007: 25-34 | |
| 2 | Olfa Mosbahi, Leila Jemni, Jacques Jaray: A Formal Approach for the Development of Automated Systems. ICSOFT (SE) 2007: 304-310 | |
| 2002 | ||
| 1 | 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 |
| 1 | Samir Ben Ahmed | [1] |
| 2 | Leila Jemni Ben Ayed (Leila Jemni) | [1] [2] |
| 3 | Hans-Michael Hanisch | [4] |
| 4 | Jacques Jaray | [1] [2] [3] |
| 5 | Mohamed Khalgui | [4] |