A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Akram Idani' in GoogleThis author has not been identified. Look up 'Jean-Louis Boulanger' in GoogleThis author has not been identified. Look up 'Laurent Philippe 0002' in Google

runs on WebDSL