Jacques Jaray

Publication Activity (10 Years)

Years Active: 1988-2007
Publications (10 Years): 0

Publications

Olfa Mosbahi, Jacques Jaray
Specification and Proof of Liveness Properties in B Event Systems. ICSOFT (SE) (2007)
Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray
A Formal Approach for the Development of Automated Systems. ICSOFT (SE) (2007)
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)
Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray
A Specification and Validation Technique Based on STATEMATE and FNLOG. ICFEM (2002)
Jacques Jaray
Timed Specifications for the Development of Real-time Systems. FTRTFT (1988)