A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems

Akram Idani, Jean-Louis Boulanger, Laurent Philippe 0002. A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. In Gongzhu Hu, editor, Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, CAINE 2007, November 7-9, 2007, San Francisco, California, USA. pages 185-192, ISCA, 2007.