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:39Z
dc.date.available2025-05-22T10:56:39Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/36372
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.typesupplierxml
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.xml
Size:
157.02 KB
Format:
Extensible Markup Language
Download

Collections

2022