机译:SlockChain智能合同安全问题的正式验证框架
机译:COQ中的混合形式验证系统,可确保基于国内服务智能合同的可靠性和安全性
机译:供应链管理中区块链和智能合同:游戏理论模型
机译:供应商,合同制造商和回收商的环境经济供应链管理;超过对环境有害物质和环境管理系统的要求
机译:在没有正式合同的情况下管理垂直和水平供应链关系。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:可持续供应链管理的智能合同:供应链成熟度评估和智能合同可持续性评估的概念框架