形式化验证

更新时间:-- | 阅读量: 57

形式化验证 使用形式化证明方法验证系统的形式化规范说明与形式化安全策略模型相一致,或

搜索到与“ 形式化验证”相关的文献共 0

查看更多

形式化验证相似词

形式化验证相关词

形式化验证相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号