CCIAPCB“不忘初心,牢记使命”主题教育总结会
CCIAPCB“不忘初心,牢记使命”主题教育总结会
2020年1月20日,中国通信工业协会区块链专业委员会,召开了学习习近平总书记在中央“不忘初心、牢记使命”主题教育总结会,王军主任会上发表重要讲话,…
发布时间: 2020.02.24
链改:独角兽与产业区块链路径,未来三年最大的区块链商业机会
链改:独角兽与产业区块链路径,未来三年最大的区块链商业机会
链改:独角兽与产业区块链路径,未来三年最大的区块链商业机会 中国通信工业协会区块链专业委员会副主任委员,链改行动创始发起人之一、旗点区块链生态…
发布时间: 2020.01.08
技术丨智能合约的形式化验证方法
技术丨智能合约的形式化验证方法
形式化验证(Formal Verification)是智能合约工程的重要环节,它可以成为对合约进行确定性验证的一种技术,通过形式化语言把合约中的概念、判断、推理…
发布时间: 2019.12.16
区块链 ||智能新制造 智造新未来
区块链 ||智能新制造 智造新未来
现在,越来越多的地方政府和制造企业将智能制造确定为重要的战略发展机遇。在本轮智能制造热潮中,除德国“工业4.0”、美国的“先进制造业国家战略计划…
发布时间: 2019.12.16
总数 51页次 1/1