( en | de | ru )

 

Disambiguation of "Wakrime, Abderrahim Ait"

Author of the publication

copydeleteadd this publication to your clipboard
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.

, , , , and . AINA, volume 1151 of Advances in Intelligent Systems and Computing, page 1303-1318. Springer, (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.

Abderrahim Najaoui

Abderrahim Taouli

Abderrahim Ouazzi

Abderrahim Sahli

Abderrahim Elmaouhoub

 

Other publications of authors with the same name

Formal approach to model complex adaptive computing systems., , and . CASM, (2020)Cloud service composition using minimal unsatisfiability and genetic algorithm., , and . Concurr. Comput. Pract. Exp., (2020)A transformation methodology for Capella to Event-B models with DSL verification., , , and . J. Comput. Lang., (November 2023)A Model-based Approach for the Modeling and the Verification of Railway Signaling System., , , , and . ENASE, page 367-376. SciTePress, (2019)An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts., , , , and . AINA, volume 1151 of Advances in Intelligent Systems and Computing, page 1303-1318. Springer, (2020)Formalizing Ontologies for AI Models Validation: from OWL to Event-B., , , , and . ICSC, page 455-462. IEEE, (2021)A Model-Driven Engineering Approach for Business Process Based SaaS Services Composition., , , and . AICCSA, page 1-8. IEEE Computer Society, (2019)Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives., , and . CAL, volume L-7 of RNTI, page 103-122. Hermann-Éditions, (2012)Place-Liveness of ComSA Applications., , and . FACS, volume 8997 of Lecture Notes in Computer Science, page 346-363. Springer, (2014)Guest editorial: Special issue on modeling, verification and testing of dependable critical systems., and . J. Syst. Archit., (2021)