HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 可满足性验证论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
带黑盒组合电路的等价性验证第258-260页
关键词: 等价性验证  黑盒  逻辑锥  可满足性验证  
2008年第26期 《科技与创新》
自适应软件需求的形式化建模与验证第73-78页
关键词: 自适应软件  需求分析  可满足性验证  
2015年第06期 《海军工程大学学报》
期刊导航