|
Search the dblp DataBase
Jacques Jaray:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jacques Jaray
Timed Specifications for the Development of Real-time Systems. [Citation Graph (0, 0)][DBLP] FTRTFT, 1988, pp:67-83 [Conf]
- Olfa Mosbahi, Leila Jemni, Samir Ben Ahmed, Jacques Jaray
A Specification and Validation Technique Based on STATEMATE and FNLOG. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:216-220 [Conf]
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. [Citation Graph (, )][DBLP]
A Formal Approach for the Development of Automated Systems. [Citation Graph (, )][DBLP]
Specification and Proof of Liveness Properties in B Event Systems. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|