A Rigorous Reasoning about Model Transformations Using the B Method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Akram Idani, Yves Ledru, Adil Anwar. A Rigorous Reasoning about Model Transformations Using the B Method. In Selmin Nurcan, Henderik Alex Proper, Pnina Soffer, John Krogstie, Rainer Schmidt, Terry A. Halpin, Ilia Bider, editors, Enterprise, Business-Process and Information Systems Modeling - 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings. Volume 147 of Lecture Notes in Business Information Processing, pages 426-440, Springer, 2013. [doi]

This author has not been identified. Look up 'Akram Idani' in GoogleThis author has not been identified. Look up 'Yves Ledru' in GoogleThis author has not been identified. Look up 'Adil Anwar' in Google

runs on WebDSL