-
1、
The protocol proves strong by using the factual system and being verified by the BZL logic.
通过在电子交易系统的实际应用和BZL逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。
来源：互联网摘选 -
2、
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
来源：互联网摘选
- 相关阅读
-
单词百科:BZL是什么意思?BZL怎么发音?BZL的解释和用法
简答网 · 英语词汇
-
霉霉、Lady Gaga、Charli XCX一众音乐界翘楚齐聚格莱美
简答网 · 双语娱乐资讯
-
高考英语七选五真题23（含答案解析）
简答网 · 高考英语
-
高考英语真题作文范文：短文续写（2021年6月浙江卷）
简答网 · 高考英语
-
保护动物的英语作文十篇（带中文）
简答网 · 初中英语作文
-
高考英语真题作文范文：介绍体育运动（2018年全国卷三）
简答网 · 高考英语