分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 835 浏览量: 2,604
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于SV的NAND Flash控制器功能验证 Function Verification of NAND Flash Controller Based on SV
吴录辉, 颜炳佳 下载量: 390 浏览量: 622
传感器技术与应用 Vol.10 No.2, April 6 2022, PDF, HTML, XML DOI:10.12677/JSTA.2022.102012 被引量
基于图像匹配的GUI自动化测试技术研究Research on GUI Automated Test Technology Based on Image Matching
郝 琳, 孔 婧, 李美静, 李 瑛, 李庆钰 下载量: 270 浏览量: 885 科研立项经费支持
软件工程与应用 Vol.11 No.6, December 8 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.116125 被引量
基于UVM的1000BASE-T图像传输系统的验证 Verification of 1000BASE-T Image Transmission System Based on UVM
王百慧 下载量: 315 浏览量: 486
传感器技术与应用 Vol.10 No.2, April 8 2022, PDF, HTML, XML DOI:10.12677/JSTA.2022.102017 被引量
评托马斯•阿奎那对上帝存在的五路证明Evaluation of Thomas Aquinas’ Five Ways to Prove the Existence of God
张莉 下载量: 4,140 浏览量: 11,868
哲学进展 Vol.4 No.4, December 29 2015, PDF, , XML DOI:10.12677/ACPP.2015.44012 被引量
麦克劳林关于方程实根最大绝对值下界的法则Maclaurin’s Rule of the Lower Limit of the Maximum Absolute Value of Real Roots of Any Algebraic Equation
李 睿 下载量: 78 浏览量: 141 国家自然科学基金支持
应用数学进展 Vol.13 No.2, February 29 2024, PDF, HTML, XML DOI:10.12677/AAM.2024.132079 被引量
图的i-森林分解Decomposition of Graphs into i-Forest
方旭倩 下载量: 575 浏览量: 892
应用数学进展 Vol.9 No.11, November 25 2020, PDF, , DOI:10.12677/AAM.2020.911231 被引量
具有异质费用的动态古诺博弈Dynamic Cournot Game with Heterogeneous Costs
孙绍帅, 刘佳伟, 赵 昕, 王 磊 下载量: 242 浏览量: 399
理论数学 Vol.12 No.9, September 16 2022, PDF, HTML, XML DOI:10.12677/PM.2022.129159 被引量
语料库批评译学视角下《边城》三英译本对比研究A Contrastive Study of Three English Versions of Biancheng from the Perspective of Corpus-Based Critical Translation Studies
刘 喃, 张瑞华 下载量: 389 浏览量: 707
现代语言学 Vol.11 No.1, January 18 2023, PDF, HTML, XML DOI:10.12677/ML.2023.111021 被引量