( en | de | ru )

 

Disambiguation of "Idani, Akram"

Author of the publication

copydeleteadd this publication to your clipboard
Alliance of model-driven engineering with a proof-based formal approach.

, , and . Innov. Syst. Softw. Eng., 16 (3): 289-307 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Akram Idani

Akmal Akramkhanov

Muhammad Akram

Reza Akrami

Reza Akrami

 

Other publications of authors with the same name

Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling., , , and . Trans. Petri Nets Other Model. Concurr., (2015)Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation., , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 23-40. Springer, (2019)Merging Railway Standard Notations in a Formal DSL-Based Framework., , and . ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 411-419. Springer, (2020)A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules., , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 173-190. Springer, (2019)Dependability of Model-Driven Executable DSLs - Critical Review and Solutions.. ECSA Companion, volume 1269 of Communications in Computer and Information Science, page 358-373. Springer, (2020)Object Oriented Concepts Identification from Formal B Specifications., and . FMICS, volume 133 of Electronic Notes in Theoretical Computer Science, page 159-174. Elsevier, (2004)The B Method Meets MDE: Review, Progress and Future.. RCIS, volume 446 of Lecture Notes in Business Information Processing, page 495-512. Springer, (2022)Formal Model Driven Engineering. (Ingénierie Formelle Dirigée par les Modèles).. (2023)Visual animation of B specifications using executable DSLs., , , and . MoDELS (Companion), page 617-626. ACM, (2022)Towards a model driven formal approach for merging data, access control and business processes., and . MoDELS (Companion), page 57:1-57:5. ACM, (2020)