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