Publications de
Akram Idani, Jean-Louis Boulanger, Laurent Philippe
Linking paradigms in safety critical systems
Dans : International Journal of Computers and Their Applications (IJCA), International Society for Computers and their Applications (ISCA), Vol. 16 N. 2, (support électronique), 2009.
Akram Idani, Ossami Dieu-Donné, Jean-Louis Boulanger
Commandments of UML for safety
Dans : International Conference on Software Engineering Advances (ICSEA 2007), France, 25/08/07-31/08/07, IEEE Computer Society, (support électronique), août 2007.
Akram Idani, Jean-Louis Boulanger, Laurent Philippe
A generic process and its tool support towards combining UML and B for safety critical systems
Dans : International Conference on Computer Applications in Industry and Engineering (CAINE 2007), USA, 07/11/07-09/11/07, Hu Gongzhu (Eds.), International Society for Computers and their Applications (ISCA), p. 185-192, novembre 2007.