首页> 外文会议>Conference on Formal Methods in Computer Aided Design >Formal Design, Implementation and Verification of Blockchain Languages

【24h】

Formal Design, Implementation and Verification of Blockchain Languages

机译：区块链语言的形式化设计，实现和验证

获取原文

页面导航

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

著录项

来源
《Conference on Formal Methods in Computer Aided Design》|2018年|1-1|共1页
会议地点 Austin(US)
作者

展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk) [J] . Grigore Rosu OASIcs : OpenAccess Series in Informatics . 2020,第2期

机译：使用k（邀请的谈话）块语言的正式设计，实施和验证
2. Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk) [J] . Grigore Rosu LIPIcs : Leibniz International Proceedings in Informatics . 2018,第23期

机译：区块链语言的正式设计，实现和验证（特邀演讲）
3. Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk) [J] . Grigore Rosu LIPIcs : Leibniz International Proceedings in Informatics . 2018,第28期

机译：区块链语言的正式设计，实现和验证（特邀演讲）
4. Formal Design, Implementation and Verification of Blockchain Languages (Abstract of Invited Paper) [C] . Grigore Rosu International conference on formal aspects of component software . 2018

机译：区块链语言的形式化设计，实现和验证（特邀论文摘要）
5. Integration of Dynamic Power Management Strategies for System-Level Power Optimization (Low-Power Design) with Its Formal Verification and Implementation. [D] . Ramanbhai, Bhatt Kiritkumar. 2012

机译：用于系统级电源优化（低功耗设计）的动态电源管理策略及其形式验证和实现的集成。
6. Design and Implementation of an Integrated IoT Blockchain Platform for Sensing Data Integrity [O] . Lei Hang, Do-Hyeun Kim 2019

机译：用于感知数据完整性的集成物联网区块链平台的设计与实现
7. Design and Implementation of a Tool for Formal Verification of Systems Specified in RT-Logic Language [O] . Fiedor Jan 2009

机译：RT-Logic语言指定系统形式验证工具的设计与实现

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号