 | 2008 |
|---|
| 5 |       | Mohamed Khalgui,
Olfa Mosbahi,
Hans-Michael Hanisch:
A formal approach to check and schedule reconfigurable embedded control systems.
ETFA 2008: 383-391 |
| 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 |
| 2006 |
|---|
| 2 | | Olfa Mosbahi,
Jacques Jaray,
Leila Jemni Ben Ayed:
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device.
AICCSA 2006: 834-841 |
| 2002 |
|---|
| 1 | | 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 |
