更新时间:-- | 阅读量: 57
形式化验证 使用形式化证明方法验证系统的形式化规范说明与形式化安全策略模型相一致,或
搜索到与“ 形式化验证”相关的文献共 0条
《计算机科学技术学报(英文版)》
《Journal of Computer Science & Technology》
《逻辑学研究》
《文化博览》
《中国战略报告》
《小型微型计算机系统》
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
京ICP备2021021570号-13
京公网安备 11011102000866号