extended Horn logic model的意思|示意

美 / / 英 / /

扩展Horn 逻辑模型


extended Horn logic model的网络常见释义

扩展Horn逻辑模型 中国最大的综合性文献数据库 -维普资讯 关键词: 安全协议 扩展Horn逻辑模型 形式化验证[gap=966]Key words: security protocol; extended Horn logic model; formal verification