Olfa Mosbahi, Leila Jemni, Jacques Jaray. A Formal Approach for the Development of Automated Systems. In Joaquim Filipe, Boris Shishkov, Markus Helfert, editors, ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007. pages 304-310, INSTICC Press, 2007.
Abstract is missing.