( 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

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)Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems., , , and . MEDI, volume 13761 of Lecture Notes in Computer Science, page 119-132. Springer, (2022)Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control., , , and . ENASE, page 350-358. SciTePress, (2019)Guest editorial: Special issue on modeling, verification and testing of dependable critical systems., and . J. Syst. Archit., (2021)Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing., , and . ICEBE, page 245-250. IEEE Computer Society, (2015)Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -., , , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 93-109. Springer, (2019)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)Formal approach to model complex adaptive computing systems., , and . CASM, (2020)