陈珊妍;王国辉;李锡盟;张倩莹;史志平;关勇 基于罗德里格斯公式的摄像机姿态估计算法的形式化。 (英语) Zbl 1458.68226号 正式Asp。计算。 32,编号4-6,417-437(2020).MSC公司:68T45型 60年第68季度 68T40型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}等人,正式Asp。计算。32,编号4--6,417--437(2020;Zbl 1458.68226) 全文: 内政部
卓、西龙;张晨毅 TFA:一种高效而精确的Java虚拟方法调用解析。 (英语) Zbl 1458.68036号 正式Asp。计算。 32,编号4-6,395-416(2020).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhoo}和\textit{C.Zhang},正式Asp。计算。32,编号4--6395--416(2020;Zbl 1458.68036) 全文: 内政部
阿依达·拉胡伊;拉扎尔哈梅尔;穆罕默德·格雷特;贝歇尔·艾伊布 基于Event-B的云复合服务验证方法。 (英语) Zbl 1458.68014号 正式Asp。计算。 32,编号4-6,361-393(2020).MSC公司:68英里11 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lahouij}等人,正式Asp。计算。32,编号4-6-361-393(2020;兹bl 1458.68014) 全文: 内政部