首页> 外文OA文献 >Smart Contract Interactions in Coq

【2h】

Smart Contract Interactions in Coq

机译：COQ中的智能合同互动

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jakob Botsch Nielsen; Bas Spitters;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts [J] . Yang Zheng, Lei Hang, Qian Weizhong Quality Control, Transactions . 2020,第期

机译：COQ中的混合形式验证系统，可确保基于国内服务智能合同的可靠性和安全性
2. Analyzing smart contract interactions and contract level state consensus [J] . Concurrency, practice and experience . 2020,第12期

机译：分析智能合约交互和合约级别状态共识
3. Detection of 6-demethoxyubiquinone in CoQ(10) deficiency disorders: Insights into enzyme interactions and identification of potential therapeutics [J] . Herebian Diran, Seibt Annette, Smits Sander H. J., Molecular genetics and metabolism . 2017,第3期

机译：辅酶（10）缺乏症中6脱氧氧泛酮的检测：酶相互作用和鉴定潜在治疗症
4. Smart Contract Interactions in Coq [C] . Jakob Botsch Nielsen, Bas Spitters World Congress on Formal Methods . 2019

机译：Coq中的智能合约交互
5. Smart Contract for P2P Energy Trading in Smart Grids: Ethereum Implementation and Performance Evaluation [D] . Al-Ammari, Maryam Jamal. 2019

机译：智能电网P2P能源交易智能合同：以外型实施和绩效评估
6. Human Interaction Smart Subsystem—Extending Speech-Based Human-Robot Interaction Systems with an Implementation of External Smart Sensors [O] . Michal Podpora, Arkadiusz Gardecki, Ryszard Beniak, 2020

机译：人机交互智能子系统-扩展的基于语音的人机交互系统带有外部智能传感器的实现
7. Digital Enforceable Contracts (DEC): Making Smart Contracts Smarter [O] . Lu-Chi Liu, Giovanni Sileno, Tom Van Engers 2020

机译：数字可执行合同（DEC）：使智能合同更智能

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号