模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,182 浏览量: 11,383
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
零担物流联盟企业能力评价体系研究Research on the Evaluation System of the Enterprise Capability of the LTL Logistics Alliance
乔茗 下载量: 985 浏览量: 1,407
现代管理 Vol.9 No.2, March 14 2019, PDF, HTML, XML DOI:10.12677/MM.2019.92020 被引量
k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国 下载量: 314 浏览量: 458
应用数学进展 Vol.11 No.11, November 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111817 被引量
连续管式反应合成N,N-二甲基苯胺及其精制模拟研究Study on Preparation of N,N-Dimethylaniline by Continuous Tube Reaction and Simulation of Refining
王志顺, 顾正桂, 黄 鑫, 汪凯军 下载量: 1,550 浏览量: 3,845
化学工程与技术 Vol.8 No.2, March 28 2018, PDF, HTML, XML DOI:10.12677/HJCET.2018.82015 被引量
护理不良事件中护士长身心体验的质性研究 A Qualitative Study on Feelings of Nurse Managers after Adverse Events
徐 芸, 张玉蓉, 金 琪, 张 荣, 贾俊君 下载量: 325 浏览量: 462
护理学 Vol.12 No.1, February 8 2023, PDF, HTML, XML DOI:10.12677/NS.2023.121003 被引量
阴道微生物与HPV持续感染的相关研究进展Research Progress on the Relationship between Vaginal Microbiota and Persistent HPV Infection
朱昱哲, 王梦媛, 张 颖, 陈丽宏, 李 玢 下载量: 209 浏览量: 384 科研立项经费支持
临床医学进展 Vol.13 No.10, October 23 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.13102340 被引量