بحث بسيط
السجلات المعروضة 11 -- 11 من 11
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 ...