Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray. A Specification and Validation Technique Based on STATEMATE and FNLOG.
4th International Conference on Formal Engineering Methods - ICFEM 2002, Oct 2002, Shanghai, China. pp.216-220,
⟨10.1007/3-540-36103-0_23⟩.
⟨inria-00102167⟩