Jacques Jaray
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2002–2007
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICSoft | Specification and Proof of Liveness Properties in B Event Systems. | Olfa Mosbahi, Jacques Jaray |
| 2007 | ICSoft | A Formal Approach for the Development of Automated Systems. | Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray |
| 2006 | AICCSA | Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. | Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed |
| 2002 | ICFEM | A Specification and Validation Technique Based on STATEMATE and FNLOG. | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |