陈凯轩;吴晓军 基于对称正定流形的潜在稀疏表示分类算法。 (中文。英文摘要) Zbl 1463.68045号 J.软件。 31,第8期,2530-2542(2020).MSC公司:68T05型 第46页第22页 62小时30分 62兰特 62兰特 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{K.Chen}和\textit{X.Wu},J.Softw。31,第8号,2530--2542(2020;Zbl 1463.68045) 全文: DOI程序
任炯炯;李,杭;林健;陈绍珍 求解代数度的算法及其在类SIMON算法中的应用。 (中文。英文摘要) Zbl 1463.94041号 J.软件。 31,第8期,2453-2464(2020).MSC公司:94A60型 11T71型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ren}等人,J.Softw。31,第8号,2453--2464(2020;Zbl 1463.94041) 全文: DOI程序
谭金浩;李国强 有界模型检查基本并行进程的活性。 (中文。英文摘要) Zbl 1463.68038号 J.软件。 31,第8期,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) 全文: DOI程序
蒋晶晶;乔、雷;杨梦飞;杨华(Yang,Hua);刘波 基于Coq的操作系统任务管理需求层建模与验证。 (中文。英文摘要) Zbl 1463.68015号 J.软件。 31,第8期,2375-2387(2020).MSC公司:68N25号 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Jiang}等人,J.Softw。31,第8号,2375--2387(2020;Zbl 1463.68015) 全文: DOI程序
李亚南;邓玉欣;刘静 基于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) 全文: DOI程序
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) 全文: DOI程序