Blockchain-based Automated Formal Model for Smart Market System

Muhammad Fayez Afzaal,Aniqa Rehman,Saba Latif,Nazir Ahmad Zafar

2021 International Bhurban Conference on Applied Sciences and Technologies (IBCAST)（2021）

引用 3|浏览1

暂无评分

摘要

The blockchain technology is creating a great impact on the stakeholders of different departments. It resolves data security and centralized database issues. In this work, blockchain-based smart market system is presented to ensure quality of products and to increase tax ratio. In smart market system, we have defined customer, distributors, stores and distributor departments as operation in VDM-SL...

查看译文

关键词

Quality assurance,Data security,Unified modeling language,Finance,Automata,Blockchain,Mobile applications

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要