Author:
Gawanme Amjad,Alomari Ahmad
Publisher
Scalable Computing: Practice and Experience
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic;Chinese Journal of Electronics;2024-01
2. MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
3. Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages;IEEE Transactions on Software Engineering;2023-01-01
4. Privacy Preserving in Digital Health;Research Anthology on Privatizing and Securing Data;2021
5. Privacy Preserving in Digital Health;Social, Legal, and Ethical Implications of IoT, Cloud, and Edge Computing Technologies;2020