PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Wakrime, Abderrahim Ait"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

No persons found for author name Wakrime, Abderrahim Ait
add a person with the name Wakrime, Abderrahim Ait
 

Other publications of authors with the same name

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)On the fly reconfiguration of interactive scientific visualization applications., , and . HPCS, page 468-475. IEEE, (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)Formalising the Requirements of an E-Voting Software Product Line Using Event-B., , and . WETICE, page 78-84. IEEE Computer Society, (2018)On repairing queries in cloud computing., and . AICCSA, page 1-6. IEEE Computer Society, (2016)Ontological approach for Data WareHouse design., , , and . CFIP/NOTERE, page 1-7. IEEE, (2015)Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing., and . ISDA, page 540-545. IEEE, (2015)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)A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation., , , , and . J. Univers. Comput. Sci., 27 (7): 693-713 (2021)