徐贤敏;王栋(Wang,Dong);王晓萍 粗糙表面润湿的有效阈值动力学方法。 (英语) Zbl 1378.76087号 J.计算。物理学。 330, 510-528 (2017).MSC公司:76米25 76D45型 76立方米 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,J.Compute。物理。330510-528(2017年;Zbl 1378.76087) 全文: 内政部 arXiv公司
亚历克斯·格罗斯;克劳斯·哈弗伦德;杰拉尔德·霍尔兹曼;拉杰夫·乔希;徐如刚 建立飞行软件可靠性:测试、模型检查、约束解决、监控和学习。 (英语) Zbl 1298.68063号 安。数学。Artif公司。智力。 70,第4期,315-349(2014).MSC公司:68号30 76-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Groce}等人,《数学年鉴》。Artif公司。智力。70,第4号,315--349(2014;Zbl 1298.68063) 全文: 内政部