Olfa Mosbahi, Leila Jemni, Jacques Jaray. A Formal Approach for the Development of Automated Systems.
2nd International Conference on Software and Data Technologies - ICSOFT 2007, INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Jul 2007, Barcelone, Spain. pp.304-310.
⟨inria-00158908⟩