Conferences; Smart contracts; Buildings; Tools; Chatbot; Model driven engineering; Planning;
机译:智能合约中的代码克隆:以Ethereum Bloctchain平台的验证合同为例
机译:在国内平台中检测智能合同规范的漏洞
机译:埃克森美孚分享有关“提高润滑脂使用率”的见解,并了解行业润滑脂性能规范的代码
机译:Cypeher Social合同网络物理智能合同的新型协议规范
机译:建立用于自动系统的规范和代码生成的框架
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:从机构到代码:迈向自动生成智能合约