CORC  > 西安理工大学
一种基于命题逻辑的规范拆解方法
黑新宏; 杨明松; 赵钦; 朱磊; 谢国; 赵雅倩; 刘尧尧; 李亚杰
2018
权利人西安理工大学
公开日期2018-08-24
URL标识查看原文
申请日期2018-02-13
内容类型专利
URI标识http://www.corc.org.cn/handle/1471x/4973012
专题西安理工大学
推荐引用方式
GB/T 7714
黑新宏,杨明松,赵钦,等. 一种基于命题逻辑的规范拆解方法. 2018-01-01.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace