Author: "Idani, Akram" / Journal: lecture notes in business information processing - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Idani, Akram"' showing total 3 results

Start Over Author "Idani, Akram" Journal lecture notes in business information processing

3 results on '"Idani, Akram"'

1. The B Method Meets MDE: Review, Progress and Future

Author: Idani, Akram, primary
Published: 2022
Full Text: View/download PDF

2. A Rigorous Reasoning about Model Transformations Using the B Method

Author: Idani, Akram, primary, Ledru, Yves, additional, and Anwar, Adil, additional
Published: 2013
Full Text: View/download PDF

3. UML Models Engineering from Static and Dynamic Aspects of Formal Specifications

Author: Idani, Akram, primary
Published: 2009
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results