Jacques Jaray

	2007
5		Olfa Mosbahi, Jacques Jaray: Specification and Proof of Liveness Properties in B Event Systems. ICSOFT (SE) 2007: 25-34
4		Olfa Mosbahi, Leila Jemni, Jacques Jaray: A Formal Approach for the Development of Automated Systems. ICSOFT (SE) 2007: 304-310
	2006
3		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
2		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

Coauthor Index

1	Samir Ben Ahmed	[2]
2	Leila Jemni Ben Ayed (Leila Jemni)	[2] [3] [4]
3	Olfa Mosbahi	[2] [3] [4] [5]