陈凯轩;吴晓军 基于对称正定流形的潜在稀疏表示分类算法。 (中文。英文摘要) Zbl 1463.68045号 J.软件。 31,第8期,2530-2542(2020).MSC公司:68T05型 46 E22型 62H30型 62兰特 62兰特 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{K.Chen}和\textit{X.Wu},J.Softw。31,第8号,2530--2542(2020;Zbl 1463.68045) 全文: 内政部
任炯炯;李,Hang;林,简;陈绍珍 求解代数度的算法及其在类SIMON算法中的应用。 (中文。英文摘要) Zbl 1463.94041号 J.软件。 第8号第31页,第2453-2464页(2020年).MSC公司:94A60型 11吨71 PDF格式BibTeX公司 XML格式引用 \textit{J.Ren}等人,J.Softw。31,第8号,2453--2464(2020;Zbl 1463.94041) 全文: 内政部
谭金浩;李国强 有界模型检查基本并行进程的活性。 (中文。英文摘要) Zbl 1463.68038号 J.软件。 第8号第31页,2388-2403(2020).MSC公司:60年第68季度 03B44号 68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Tan}和\textit{G.Li},J.Softw。31,第8号,2388--2403(2020;Zbl 1463.68038) 全文: 内政部
蒋晶晶;乔,雷;杨梦飞;杨华(Yang,Hua);刘波 基于Coq的操作系统任务管理需求层建模与验证。 (中文。英文摘要) Zbl 1463.68015号 J.软件。 31,第8期,2375-2387(2020).MSC公司:第68页第25页 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Jiang}等人,J.Softw。31,第8号,2375--2387(2020;Zbl 1463.68015) 全文: 内政部
李亚南;邓玉欣;刘静 基于Coq的Paxos的形式化建模与验证。 (中文。英文摘要) Zbl 1463.68037号 J.软件。 31,第8期,2362-2374(2020).MSC公司:60年第68季度 64岁以下 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,J.Softw。31,第8号,2362--2374(2020;Zbl 1463.68037) 全文: 内政部
Yi、Xingchen;魏恒丰;黄,于;乔,雷;吕健 PaxosStore中的TPaxos共识协议:派生、规范和细化。 (中文。英文摘要) Zbl 1463.68005号 J.软件。 31,第8期,2336-2361(2020).MSC公司:68个M12 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Yi}等人,J.Softw。31,第8号,2336--2361(2020;Zbl 1463.68005) 全文: 内政部