... failsafe e 故障自动保险的 failure e checking 故障检查 failure e free operation 无故障运行 ...
基于1个网页-相关网页
failure e checking
故障检查
以上为机器翻译结果，长、整句建议使用 人工翻译 。
We analyse the security of e-commerce protocols in failure environments using the model checking approach.
本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。
youdao
应用推荐
模块上移
模块下移
不移动