Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking

Simple item page
dc.contributor.authorYang Liu
dc.contributor.authorZiyu Zhou
dc.contributor.authorYongsheng Yang
dc.contributor.authorYan Ma
dc.date.accessioned2025-05-22T10:56:38Z
dc.date.available2025-05-22T10:56:38Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/36371
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subject.ddc600
dc.titleVerifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking
dc.typepdf
dspace.entity.typeDistribution
relation.isDatasetOfDistributionf051ee0d-f79c-4004-9896-0cfdd718080c
relation.isDatasetOfDistribution.latestForDiscoveryf051ee0d-f79c-4004-9896-0cfdd718080c

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
systems-10-01-00019.pdf
Size:
5.36 MB
Format:
Adobe Portable Document Format
Download

Collections

2022