تصفح Computer Science & Engineering حسب الموضوع "12 healthcare supply chain"
السجلات المعروضة 1 -- 1 من 1
-
Formalizing dynamic behaviors of smart contract workflow in smart healthcare supply chain
( Springer Science and Business Media Deutschland GmbH , 2020 , Conference Paper)We present a formal model for smart contract workflow using Colored Petri-Net in the context of a blockchain-based healthcare supply chain in this paper. Ensuring traceability of products is a crucial issue in a smart ...