Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems

doi 10.24251/hicss.2020.650
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Hawaii International Conference on System Sciences

Related search

Blockchain and Smart Contract for Digital Document Verification

International Journal of Engineering and Technology(UAE)
ArchitectureHardwareEngineeringChemical EngineeringBiotechnologyEnvironmental EngineeringComputer Science
2018English

Formal Verification of Privacy for RFID Systems

2010English

Formal Verification of Hybrid Systems

2011English

Analysis of Supply Chain Principal-Agent Incentive Contract

International Journal of Management Science and Engineering Management
Information SystemsMechanical EngineeringStrategyManagement ScienceEngineeringManagementOperations Research
2007English

Comparing Formal Verification Approaches of Interlocking Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Supply Chain Management

Collaborative Manufacturing
2002English

Ontwikkelingen in Supply Chain Management

Maandblad Voor Accountancy en Bedrijfseconomie
2010English

Sustainable Supply Chain Management

Industrial Management and Data Systems
Industrial RelationsIndustrialManufacturing EngineeringStrategyComputer Science ApplicationsManagementManagement Information Systems
2015English

Intelligent Supply Chain Management

Journal of Software Engineering and Applications
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy